Liknande böcker

Algebraic Methodology and Software Technology: 8th International Confere...
Bok av Teodor Rus
Specifying message passing and time critical systems with temporal logic
Bok av Ron Koymans
Proofs and Algorithms : An Introduction to Logic and Computability
Bok av Gilles. Dowek
Computing and Combinatorics : 20th International Conference, COCOON 2014...
Bok av Zhipeng. Cai
Computability Theory
Bok av S. Barry Cooper
Graph Transformation
Bok av Leen Lambers
Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
Higher-Order Algebra, Logic, and Term Rewriting : Second International W...
Bok av Gilles Dowek

Logik fur Informatiker

Bok av Bernhard Heinemann