IndianBookWorms

Here, what we could find on your book search:

Alexander Leitsch

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

Die Fakultät für Informatik/The Faculty of Informatics

Die Fakultät für Informatik/The Faculty of Informatics

Gerald Steinhardt

Check Price (9 deals)
Automated Deduction - CADE-19

Automated Deduction - CADE-19

Franz Baader

Check Price (7 deals)
Automated Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics

Ricardo Caferra and Gernot Salzer

Check Price (3 deals)
Automated Reasoning

Automated Reasoning

Nicola Olivetti and Ashish Tiwari

Check Price (7 deals)
Collegium Logicum

Collegium Logicum

Kurt-Gödel-Gesellschaft

Check Price (6 deals)
Computer Science Logic

Computer Science Logic

Hans Kleine Büning

Check Price (6 deals)
Gödel Centenary 2006

Gödel Centenary 2006

Check Price (7 deals)
Smart Engineering System Design

Smart Engineering System Design

Cihan H. Dagli

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

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart

Check Price (6 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

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

© 2026 indianbookworms | Part of Diagramz network.