Here, what we could find on your book search:

Ricardo Caferra

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Automated Reasoning

Automated Reasoning

Jürgen Giesl and Reiner Hähnle

Check Price (4 deals)
A Guided Tour of Artificial Intelligence Research

A Guided Tour of Artificial Intelligence Research

Pierre Marquis, Odile Papini and Henri Prade

Check Price (8 deals)
Logics in Artificial Intelligence

Logics in Artificial Intelligence

Jose Julio Alferes, Luis Moniz Pereira and Ewa Orlowska

Check Price (3 deals)
Extensions of Logic Programming

Extensions of Logic Programming

Roy Dyckhoff, Heinrich Herre and Peter Schroeder-Heister

Check Price (9 deals)
Computer Science Logic

Computer Science Logic

Hans Kleine Büning

Check Price (1 deals)
Intellectics and Computational Logic

Intellectics and Computational Logic

Steffen Hölldobler

Check Price (9 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche

Check Price (6 deals)
Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra

Check Price (1 deals)
Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods

Peter Baumgartner, Reiner Ha hnle and Joachim Posegga

Check Price (8 deals)
15th International Conference on Automated Software Engineering 2000

15th International Conference on Automated Software Engineering 2000

Check Price (6 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now