| 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. |
|||