Term Rewriting and All That |
|
| Author:
| Baader, Franz
Nipkow, Tobias |
| ISBN: | 978-1-316-04385-1 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Unified and self-contained introduction to term-rewriting; suited for students or professionals.