Pinto, Alexandre Miguel dos Santos Martins
Explorations in revised stable models - a new semantics for logic programs / Alexandre Miguel dos Santos Martins Pinto. - Lisboa : A. M. S. M. P. , 2005 . - XIV, 117 p. ; 30 cm + 1 CD-ROM.
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 / Alexandre Miguel dos Santos Martins Pinto. - Lisboa : A. M. S. M. P. , 2005 . - XIV, 117 p. ; 30 cm + 1 CD-ROM.
ISBN
Programação em lógica
Linguagens de programação em lógica
LCC Q335
