dc.contributor.author | Osorio M. | |
dc.contributor.author | Arrazola J.R. | |
dc.contributor.author | Carballido J.L. | |
dc.contributor.author | Estrada O. | |
dc.date.accessioned | 2018-03-01T00:13:52Z | |
dc.date.available | 2018-03-01T00:13:52Z | |
dc.date.issued | 2006 | |
dc.identifier.issn | 2-s2.0-84884791314 | |
dc.identifier.uri | http://repositorio.udlap.mx/xmlui/handle/123456789/7773 | |
dc.description.abstract | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84884791314&partnerID=40&md5=a5e17ff1d311209e662326187dce5513 | |
dc.source | Scopus | |
dc.title | Disjunctive logic programming and Cω atom demonstrability [Programas lógicos disyuntivos y la demostrabilidad de átomos en Cω] | |
dc.type | Conference Paper |
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |