Liknande böcker

Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Theorem Proving in Higher Order Logics : 20th International Conference,...
Bok av Klaus. Schneider
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Logic for Programming, Artificial Intelligence, and Reasoning : 15th Int...
Bok av Jaime G. Carbonell
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra
Logic Programming and Nonmonotonic Reasoning : 9th International Confere...
Bok av Chitta. Baral
Adaptive and Natural Computing Algorithms
Bok av Bartlomiej. Beliczynski
Automated Deduction – CADE-21 : 21st International Conference on Automat...
Bok av Frank. Pfenning

Frontiers of Combining Systems

Bok av Boris. Konev