Here, what we could find on your book search:

Geoff Sutcliffe

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

Alessandro Armando, Peter Baumgartner and Gilles Dowek

Check Price (4 deals)
Verification, Induction, Termination Analysis

Verification, Induction, Termination Analysis

Simon Siegler and Nathan Wasser

Check Price (6 deals)
Automated Deduction – CADE 27

Automated Deduction – CADE 27

Pascal Fontaine

Check Price (10 deals)
Computational Logic

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann and John Woods

Check Price (1 deals)
Automated Deduction -- CADE-24

Automated Deduction -- CADE-24

Maria Paola Bonacina

Check Price (3 deals)
From the Jungle to the Deep Blue Sea

From the Jungle to the Deep Blue Sea

Jim Hindle

Check Price (9 deals)
ECAI 2020

ECAI 2020

Giuseppe De Giacomo, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang

Check Price (7 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now