Here, what we could find on your book search:

Domenico Cantone

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 Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics

Ricardo Caferra and Gernot Salzer

Check Price (10 deals)
Frontiers of Combining Systems

Frontiers of Combining Systems

Alessandro Armando

Check Price (3 deals)
Experimental and Efficient Algorithms

Experimental and Efficient Algorithms

Sotiris E. Nikoletseas

Check Price (4 deals)
SOFSEM 2009: Theory and Practice of Computer Science

SOFSEM 2009: Theory and Practice of Computer Science

Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma and Frank Valencia

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

Automated Reasoning with Analytic Tableaux and Related Methods

Bernhard Beckert

Check Price (2 deals)
Ewa Orłowska on Relational Methods in Logic and Computer Science

Ewa Orłowska on Relational Methods in Logic and Computer Science

Joanna Golińska-Pilarek and Michał Zawidzki

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

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart

Check Price (8 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now