Here, what we could find on your book search:

Frank Pfenning

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

Generative Programming and Component Engineering

Generative Programming and Component Engineering

Frank Pfenning and Yannis Smaragdakis

Check Price (7 deals)
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Frank Pfenning

Check Price (5 deals)
Types in Logic Programming

Types in Logic Programming

Frank Pfenning

Check Price (10 deals)
Automated Deduction - CADE-16

Automated Deduction - CADE-16

Harald Ganzinger

Check Price (5 deals)
Extensions of Logic Programming

Extensions of Logic Programming

Lars-Henrik Eriksson and Lars Hallnäs

Check Price (3 deals)
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Jeffrey J. Joyce and Carl-Johan H. Seger

Check Price (3 deals)
Programming Languages and Systems - Esop'96

Programming Languages and Systems - Esop'96

Hanne R. Nielson

Check Price (6 deals)
Automated Deduction - CADE-15

Automated Deduction - CADE-15

Claude Kirchner and Helene Kirchner

Check Price (6 deals)
Automated Deduction, Cade-12.

Automated Deduction, Cade-12.

Alan Bundy

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now