You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
589 pages • paperback • 1 edition
ISBN/UID: 9783540510819
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 22 Mar 1989
Description
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, pr...
Community Reviews
Content Warnings
589 pages • paperback
ISBN/UID: 9783540510819
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 22 Mar 1989
Description
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, pr...
Community Reviews
Content Warnings