Here, what we could find on your book search:

Danny De Schreye

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 Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Alberto Pettorossi

Check Price (10 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

Check Price (5 deals)
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Frank Pfenning

Check Price (7 deals)
Abductive Reasoning and Learning

Abductive Reasoning and Learning

Dov M. Gabbay and Philippe Smets

Check Price (8 deals)
FGCS '92

FGCS '92

Check Price (9 deals)
Logic Programming in Action

Logic Programming in Action

Gerard Comyn and Norbert E. Fuchs

Check Price (1 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free