The book is currently out of stock
More about the book
Offering a cohesive and comprehensive introduction to term-rewriting, this book is ideal for both students and professionals in the field. It presents the concepts in a self-contained manner, ensuring that readers can grasp the material effectively, regardless of their prior knowledge.
Book purchase
Term Rewriting and All That, Franz Baader, Tobias Nipkow
- Language
- Released
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Term Rewriting and All That
- Language
- English
- Authors
- Franz Baader, Tobias Nipkow
- Publisher
- Cambridge University Press
- Released
- 2006
- Format
- Paperback
- Pages
- 316
- ISBN13
- 9780521779203
- Category
- Encyclopedia
- Description
- Offering a cohesive and comprehensive introduction to term-rewriting, this book is ideal for both students and professionals in the field. It presents the concepts in a self-contained manner, ensuring that readers can grasp the material effectively, regardless of their prior knowledge.