Term Rewriting and All That
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.
Информация за "Term Rewriting and All That"
- SKU 9780521779203
- Weight 0.542000
- ISBN 9780521779203
- Вид корица Paperback / softback
- Издателство Cambridge University Press
- Брой страници 316
The information below is required for social login