Term Rewriting and All That
| Author | : Franz Baader |
| Publisher | : Cambridge University Press |
| Total Pages | : 318 |
| Release | : 1998 |
| ISBN-10 | : 0521779200 |
| ISBN-13 | : 9780521779203 |
| Rating | : 4/5 (00 Downloads) |
Book Synopsis Term Rewriting and All That by : Franz Baader
Download or read book Term Rewriting and All That written by Franz Baader and published by Cambridge University Press. This book was released on 1998 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unified and self-contained introduction to term-rewriting; suited for students or professionals.