IndianBookWorms

Here, what we could find on your book search:

Ulrich Furbach

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).

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Dieter Hutter and Werner Stephan

Check Price (2 deals)
Artificial Intelligence Today

Artificial Intelligence Today

Michael J. Wooldridge and Manuela Veloso

Check Price (3 deals)
KI 2006

KI 2006

Christian Freksa, Michael Kohlhase and Kerstin Schill

Check Price (10 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 (5 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Neil V. Murray

Check Price (4 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2025 indianbookworms | Part of Diagramz network.