Liknande böcker

Theory of Objects
Bok av Martin Abadi och Luca Cardelli
Extensions of logic programming
Bok av Roy Dyckhoff
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Ob...
Bok av Diaconescu Razvan Diaconescu
Algebraic and logic programming : proceedings
Bok av Helene Kirchner
Distinguished Dissertations in Computer Science
Bok av James H Andrews
Logic Program Synthesis and Transformation : 7th International Workshop,...
Bok av Norbert E Fuchs
Logic Programming and Nonmonotonic Reasoning
Bok av Anil Nerode
Logic programming and automated reasoning
Bok av Frank Pfenning

The Clausal Theory of Types

Bok av D. A.. Wolfram