Here, what we could find on your book search:

Amy P. Felty

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, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Matthias Baaz and Andrei Voronkov

Check Price (2 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn

Check Price (5 deals)
Logic Programming

Logic Programming

Danny De Schreye

Check Price (4 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Jürgen Giesl

Check Price (6 deals)
Logic Colloquium 2006

Logic Colloquium 2006

S. Barry Cooper

Check Price (6 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Victor A. Carreno, Cesar A. Munoz and Sofiene Tahar

Check Price (2 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now