Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Implementation and Application of Functional Languages : 20th Internatio...
Bok av Sven-Bodo. Scholz
Logic for Programming, Artificial Intelligence, and Reasoning : 18th Int...
Bok av Nikolaj. Bjørner
Logic Programming and Nonmonotonic Reasoning : 11th International Confer...
Bok av James P. Delgrande
Interactive Theorem Proving : Second International Conference, ITP 2011,...
Bok av Marko. Eekelen
Automated Reasoning with Analytic Tableaux and Related Methods
Bok av Kai. Brünnler
Practical Aspects of Declarative Languages : 14th International Symposiu...
Bok av Claudio. Russo
Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifsc...
Bok av Esra. Erdem

Model Checking and Artificial Intelligence

Bok av Ron. Meyden