Logic programming : vol. 2 : proceedings of the fourth international conference / ed. by Jean-Louis Lassez.
- London : The MIT press , cop. 1987 .
- XIV, p. 556-1056 : il. ; 23 cm.
ISBN 0-262-12125-5
Programação em lógica
Lógica matemática
Inteligência artificial
LCC QA76.6
ISBN 0-262-12125-5
Programação em lógica
Lógica matemática
Inteligência artificial
LCC QA76.6