IndianBookWorms

Here, what we could find on your book search:

Aart Middeldorp

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

Term Rewriting and All That

Term Rewriting and All That

Franz Baader and Tobias Nipkow

Check Price (7 deals)
Conditional and Typed Rewriting Systems

Conditional and Typed Rewriting Systems

Nachum Dershowitz and Naomi Lindenstrauss

Check Price (1 deals)
Automated Deduction – CADE-22

Automated Deduction – CADE-22

Renate Schmidt

Check Price (1 deals)
Automated Reasoning

Automated Reasoning

Jürgen Giesl and Reiner Hähnle

Check Price (2 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Frank Pfenning

Check Price (8 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Jürgen Giesl

Check Price (4 deals)
Constraints in Computational Logics

Constraints in Computational Logics

Jean-Pierre Jouannaud

Check Price (1 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2025 indianbookworms | Part of Diagramz network.