Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : MostlyAcademic, Berrima, NSW, Australie
EUR 37,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : As New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : MostlyAcademic, Berrima, NSW, Australie
EUR 40,09
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : As New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 70,59
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 72,57
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 65
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 66,58
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 67,01
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, GB, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 82,56
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. This 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, Gröbner 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.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 68,91
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Cambridge University Press, GB, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 91,13
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. This 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, Gröbner 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.
Edité par Cambridge University Press CUP, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 90,57
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 316.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 63,82
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1998
ISBN 10 : 0521455200 ISBN 13 : 9780521455206
Langue: anglais
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
EUR 69,94
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Edité par Cambridge University Press, 1998
ISBN 10 : 0521455200 ISBN 13 : 9780521455206
Langue: anglais
Vendeur : PAPER CAVALIER UK, London, Royaume-Uni
EUR 365,13
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : new. New!
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 65,24
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 314 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand.
Edité par Cambridge University Press, 2006
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 73,66
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 exercise.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 93,80
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 316 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521779200 ISBN 13 : 9780521779203
Langue: anglais
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 98,72
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 316.