Liknande böcker

Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Algebraic and Logic Programming
Bok av Michael Hanus
Inductive Logic Programming : 19th International Conference, ILP 2009, L...
Bok av Luc. Raedt
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
Rewriting Techniques and Applications : 3rd International Conference, RT...
Bok av Nachum Dershowitz
Context-Free Grammars : Covers, Normal Forms, and Parsing
Bok av Anton Nijholt

The Vienna Development Method: The Meta-Language

Bok av Dines Bjorner