Term Rewriting and All That

by Nipkow, Tobias A Baader, Franz

ISBN: 9780521779203
ISBN10: 0521779200

Term Rewriting and All That

by Nipkow, Tobias A Baader, Franz

Binding: Paperback
Publisher: Cambridge University Press
Publish date: 08/01/1999
ISBN: 9780521779203
ISBN10: 0521779200

new Add to Cart $91.13

FREE economy shipping!

ebook Buy $57.60

License: 180 days (until 10/15/2026)

License Details

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferrable. More details can be found here. May come without consumable supplements like access codes, CD's, or workbooks.

Description: Baader and Nipkow cover all the basic material and some important and closely connected subjects: universal algebra, unification theory, Grobner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML.

Expand description

Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.

All (1)

Seller

Condition

Comments

Price

Seller: Alibris

★

Location: Sparks, NV

Condition:
Shipping Icon

Print on demand Trade paperback (US). Glued binding. 316 p. Contains: Unspecified.

Price:

$70.66

Add to Cart

Comments:

Print on demand Trade paperback (US). Glued binding. 316 p. Contains: Unspecified.

Please Wait

Error title

Term Rewriting and All That

by Nipkow, Tobias A Baader, Franz

Term Rewriting and All That

by Nipkow, Tobias A Baader, Franz

Notify Me When Available