Here, what we could find on your book search:

Laurent Fribourg

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

The Inverse Method

The Inverse Method

Etienne André and Romain Soulat

Check Price (3 deals)
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Annalisa Bossi

Check Price (8 deals)
Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Pierre Deransart and Jan Maluszynski

Check Price (6 deals)
Distributed Computing

Distributed Computing

Rachid Guerraoui

Check Price (8 deals)
Reachability Problems

Reachability Problems

Kim Guldstrand Larsen, Igor Potapov and Jiří Srba

Check Price (10 deals)
Extensions of Logic Programming

Extensions of Logic Programming

Peter Schroeder-Heister

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

Constraints in Computational Logics: Theory and Applications

Hubert Comon, Claude Marche and Ralf Treinen

Check Price (6 deals)
Computational Logic — CL 2000

Computational Logic — CL 2000

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv and Peter J. Stuckey

Check Price (9 deals)
Proceedings

Proceedings

IEEE Computer Society

Check Price (1 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now