Here, what we could find on your book search:

Andreas Podelski

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 Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Andrei Voronkov

Check Price (5 deals)
On the Pursuit of Insight and Elegance

On the Pursuit of Insight and Elegance

Daniel Dietsch, Andrey Rybalchenko, Martin Schäf and Thomas Wies

Check Price (7 deals)
Programming Languages: Implementations, Logics and Programs

Programming Languages: Implementations, Logics and Programs

Manuel Hermenegildo and S.Doaitse Swierstra

Check Price (4 deals)
Automated Deduction – CADE 30

Automated Deduction – CADE 30

Clark Barrett and Uwe Waldmann

Check Price (3 deals)
Automata, Languages and Programming

Automata, Languages and Programming

Fernando Orejas, Paul G. Spirakis and Jan van Leeuwen

Check Price (1 deals)
Principles and Practice of Constraint Programming - CP '95

Principles and Practice of Constraint Programming - CP '95

Ugo Montanari

Check Price (4 deals)
Extensions of Logic Programming

Extensions of Logic Programming

Evelina Lamma and Paola Mello

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

Constraints in Computational Logics: Theory and Applications

Hubert Comon, Claude Marche and Ralf Treinen

Check Price (8 deals)
Decidability of Parameterized Verification

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov and Igor Konnov

Check Price (7 deals)
Programming Constraint Services

Programming Constraint Services

Christian Schulte

Check Price (5 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now