Logic programming: proceedings of the tenth International Conference… by Warren, David S., International Conference on Logic Programming, Budapest) fromLogic programming 0 Type: Book
Reasoning with logic programming by Alferes, José Júlio, Pereira, Luís Moniz fromLecture Notes in Computer Science 0 Type: Book
Logic programming: [in Ithaca, 1994] : proceedings of the twelfth In… by Sterling, Leon, International Conference on Logic Programming, Ithaca fromLogic programming 0 Type: Book
Logic programming: proceedings of the fifth international conference… by International Conference on Logic Programming, Seattle,), Symposium on Logic Programming, Seattle,) fromLogic programming 0 Type: Book
Logic programming by Furukawa, Koichi, International Conference on Logic Programming, Paris fromLogic programming 0 Type: Book
Logic programming: proceedings of the sixth international conference by International Conference on Logic Programming, Lisboa fromLogic programming 0 Type: Book
Logic programming: proceedings of the seventh international conferen… by International Conference on Logic Programming, Jerusalem fromLogic programming 0 Type: Book
Logic programming: proceedings of the fifth international conference… by International Conference on Logic Programming, Seattle,), Symposium on Logic Programming, Seattle,) fromLogic programming 0 Type: Book
Logic programming: systematic program development by Deville, Yves fromInternational series in logic programming 0 Type: Book
The clausal theory of types by Wolfram, D. A. fromCambridge tracts in theoretical computer science 0 Type: Book
Computability theory, semantics, and logic programming by Fitting, Melvin fromOxford logic guides 0 Type: Book
Inductive logic programming by Muggleton, Stephen fromA.P.I.C. studies in data processing 0 Type: Book
Natural language understanding and logic programming: proceedings of the First International Workshop o… by Saint-Dizier, Patrick, Dahl, Veronica, Dizier, Patrick Saint- 0 Type: Book
Natural language understanding and logic programming by Saint-Dizier, Patrick, Dahl, Veronica 0 Type: Book
Solving higher-order equations: from logic to programming by Prehofer, Christian fromProgress in theoretical computer science 0 Type: Book
Natural language understanding and logic programming. 2 by Saint-Dizier, Patrick, Dahl, Veronica 0 Type: Book
From logic programming to Prolog by Apt, Krzysztof R. fromPrentice-Hall International Series in Computer Science 0 Type: Book
