Pinto, Alexandre Miguel dos Santos Martins
Explorations in revised stable models - a new semantics for logic programs [Documento electrónico] / Alexandre Miguel dos Santos Martins Pinto. - Lisboa : A. M. S. M. P. , 2005 . - 1 CD-ROM ; 12 cm.
ISBN
Programação em lógica
Linguagens de programação em lógica
LCC Q335
Explorations in revised stable models - a new semantics for logic programs [Documento electrónico] / Alexandre Miguel dos Santos Martins Pinto. - Lisboa : A. M. S. M. P. , 2005 . - 1 CD-ROM ; 12 cm.
ISBN
Programação em lógica
Linguagens de programação em lógica
LCC Q335