Knorr, Matthias
A comparative study of disjunctive well-founded semantics [Documento electrónico] / Matthias Knorr. - Lisboa : M. K. , 2006 . - 1 CD-ROM ; 12 cm.
ISBN
Lógica computacional
Linguagens de programação em lógica
Programação em lógica
Programas em lógica estendidos
LCC QA76.63
A comparative study of disjunctive well-founded semantics [Documento electrónico] / Matthias Knorr. - Lisboa : M. K. , 2006 . - 1 CD-ROM ; 12 cm.
ISBN
Lógica computacional
Linguagens de programação em lógica
Programação em lógica
Programas em lógica estendidos
LCC QA76.63