IndianBookWorms

Here, what we could find on your book search:

Serenella Cerrito

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

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Sophie Tison

Check Price (4 deals)
Processes, Terms and Cycles: Steps on the Road to Infinity

Processes, Terms and Cycles: Steps on the Road to Infinity

Aart Middeldorp

Check Price (7 deals)
Labelled Deduction

Labelled Deduction

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews and Luca Viganò

Check Price (2 deals)
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester and Andrei Voronkov

Check Price (2 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Roy Dyckhoff

Check Price (4 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart

Check Price (6 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.