Liknande böcker

Logic Programming and Nonmonotonic Reasoning
Bok av Anil Nerode
Extensions of logic programming
Bok av Roy Dyckhoff
Logic programming and automated reasoning
Bok av Frank Pfenning
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Inductive Logic Programming : 16th International Conference, ILP 2006, S...
Bok av Stephen. Muggleton
Algebraic and logic programming
Bok av Michael Hanus
Logic for Programming and Automated Reasoning: 7th International Confere...
Bok av Michel Parigot
Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov

Logic Program Synthesis and Transformation

Bok av John P Gallagher