Liknande böcker

Automated Reasoning with Analytic Tableaux and Related Methods : 16th In...
Bok av Nicola. Olivetti
Automated Reasoning with Analytic Tableaux and Related Methods
Bok av Kai. Brünnler
Logic for Programming, Artificial Intelligence, and Reasoning : 18th Int...
Bok av Nikolaj. Bjørner
Logic Programming and Nonmonotonic Reasoning : 14th International Confer...
Bok av Marcello Balduccini
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Logic Programming and Nonmonotonic Reasoning : 11th International Confer...
Bok av James P. Delgrande
Model Checking and Artificial Intelligence : 6th International Workshop,...
Bok av Ron. Meyden
Interactive Theorem Proving : Second International Conference, ITP 2011,...
Bok av Marko. Eekelen

Automated Reasoning with Analytic Tableaux and Related Methods

Bok av Martin. Giese