Reasoning with logic programming
Alferes, José Júlio
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira. - Berlin : Springer , cop. 1996 . - XX, 326 p. : il. ; 24 cm. - (Lecture Notes in Computer Science) . 1111. Lecture Notes in Artificial Intelligence
ISBN 3-540-61488-5
Programação em lógica
Raciocínio automatizado
LCC Q334
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira. - Berlin : Springer , cop. 1996 . - XX, 326 p. : il. ; 24 cm. - (Lecture Notes in Computer Science) . 1111. Lecture Notes in Artificial Intelligence
ISBN 3-540-61488-5
Programação em lógica
Raciocínio automatizado
LCC Q334