Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Syd...
Bok av Jaime G. Carbonell
Automated Deduction – CADE-21 : 21st International Conference on Automat...
Bok av Frank. Pfenning
Logic for Programming, Artificial Intelligence, and Reasoning : 15th Int...
Bok av Jaime G. Carbonell
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Theorem Proving in Higher Order Logics : 20th International Conference,...
Bok av Klaus. Schneider
Frontiers of Combining Systems
Bok av Boris. Konev
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 : 2nd Internati...
Bok av Jaime Simao. Sichman

Automated Reasoning

Bok av Ulrich. Furbach