Liknande böcker

Extensions of logic programming
Bok av Roy Dyckhoff
Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov
Logic programming and automated reasoning
Bok av Frank Pfenning
Word equations and related topics
Bok av Klaus U Schulz
Logic Programming and Nonmonotonic Reasoning
Bok av Anil Nerode
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
Computational logic and proof theory : proceedings
Bok av Georg Gottlob

Meta-Programming in Logic : proceedings

Bok av Alberto Pettorossi