Term Rewriting and All That
Normal Price: $125.00
Your Price: $112.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.50! (10% off normal price)
Plus...earn $5.62 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Term Rewriting and All That by Franz Baader
Book DescriptionThis textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grobner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Buy Term Rewriting and All That book by Franz Baader from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521779203
(247mm x 174mm x 17mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 5-Aug-1999
Country of Publication: United Kingdom
Books By Author Franz Baader
Description Logic Handbook, Paperback (May 2010)» View all books by Franz Baader
A unique reference in the field of knowledge representation, now available in paperback.
» Have you read this book? We'd like to know what you think about it - write a review about Term Rewriting and All That book by Franz Baader and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687