Here, what we could find on your book search:

Robert Nieuwenhuis

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 - CADE-16

Automated Deduction - CADE-16

Harald Ganzinger

Check Price (5 deals)
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Geoff Sutcliffe and Andrei Voronkov

Check Price (1 deals)
Constraints in Computational Logics. Theory and Applications

Constraints in Computational Logics. Theory and Applications

Hubert Comon and ESPRIT CCL Working Group

Check Price (7 deals)
Constraints in Computational Logics: Theory and Applications

Constraints in Computational Logics: Theory and Applications

Hubert Comon, Claude Marche and Ralf Treinen

Check Price (5 deals)
Rewriting Techniques and Applications

Rewriting Techniques and Applications

Paliath Narendran and Michael Rusinowitch

Check Price (7 deals)
Computer Science Logic

Computer Science Logic

Hans Kleine Büning

Check Price (2 deals)
Automated Reasoning

Automated Reasoning

David Basin and Michael Rusinowitch

Check Price (6 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free