IndianBookWorms

Here, what we could find on your book search:

Bernhard Gramlich

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

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Dieter Hutter and Werner Stephan

Check Price (6 deals)
Rewriting Techniques and Applications

Rewriting Techniques and Applications

Nachum Dershowitz

Check Price (9 deals)
Mathematical Foundations of Computer Science 1997

Mathematical Foundations of Computer Science 1997

Igor Privara

Check Price (2 deals)
Term Rewriting and Applications

Term Rewriting and Applications

Jürgen Giesl

Check Price (7 deals)
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Andrea Corradini and Ugo Montanari

Check Price (6 deals)
10th International Conference on Automated Deduction

10th International Conference on Automated Deduction

Mark E. Stickel

Check Price (6 deals)
Conditional and Typed Rewriting Systems

Conditional and Typed Rewriting Systems

Nachum Dershowitz and Naomi Lindenstrauss

Check Price (4 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

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

© 2026 indianbookworms | Part of Diagramz network.