Here, what we could find on your book search:

Philippe de Groote

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

Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning

Michel Parigot and Andrei Voronkov

Check Price (1 deals)
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Frank Pfenning

Check Price (2 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Frank Pfenning

Check Price (2 deals)
The Logic of Categorial Grammars

The Logic of Categorial Grammars

Richard Moot and Christian Retore

Check Price (2 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Jürgen Giesl

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

Automated Reasoning with Analytic Tableaux and Related Methods

Neil V. Murray

Check Price (4 deals)
Computer Science Logic

Computer Science Logic

Jerzy Marcinkowski and European Association for Computer Science Logic. Conference

Check Price (4 deals)
Biography and Genealogy Master Index, 1991-95 Cumulation

Biography and Genealogy Master Index, 1991-95 Cumulation

Neil MC

Check Price (4 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now