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.
| Seller | Condition | Comments | Price |
|
Alibris
|
New
|
$70.66
|
Please Wait
Usually Processes in 1 business day