Liknande böcker

Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Theorem Proving in Higher Order Logics : 20th International Conference,...
Bok av Klaus. Schneider
Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Algebraic Methodology and Software Technology : 12th International Confe...
Bok av David. Hutchison
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Computer Aided Verification : 19th International Conference, CAV 2007, B...
Bok av Werner. Damm
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on th...
Bok av Pierpaolo. Degano
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Syd...
Bok av Jaime G. Carbonell

Theorem Proving in Higher Order Logics

Bok av Klaus. Schneider