Liknande böcker

Handbook of Logic in Computer Science: Volume 2. Background: Computation...
Bok av Dov M. Gabbay
Handbook of logic in computer science
Bok av S Abramsky
Computer science logic
Bok av Egon Borger
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
What is a logical system?
Bok av Dov M. (EDT) Gabbay
Mathematical logic for computer science
Bok av Mordechai Ben-Ari
Algorithms and Complexity
Bok av Author Unknown
Elements of the theory of computation
Bok av Harry R. Lewis

Logic for computer science : foundations of automatic theorem proving

Bok av Jean H. Gallier