KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Term Rewriting and All That

Term Rewriting and All That

45,80 €

inkl. gesetzl. MwSt.

Beschreibung

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...

Beschreibung

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, 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.

Produktdetails

Format

ePUB
Kopierschutz

Ja
Family Sharing

Ja
Text-to-Speech

Ja

Produktdetails

Format

ePUB

Format

eBooks im ePUB-Format erlauben eine dynamische Anpassung des Inhalts an die jeweilige Display-Größe des Lesegeräts. Das Format eignet sich daher besonders für das Lesen auf mobilen Geräten, wie z.B. Ihrem tolino, Tablets oder Smartphones.

Kopierschutz

Ja

Kopierschutz

Zum Lesen dieses eBooks auf Geräten der tolino Familie sowie auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID. Weitere Hinweise zum Lesen von kopiergeschützten eBooks finden Sie unter Hilfe/Downloads.

Family Sharing

Ja

Family Sharing

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Ja

Text-to-Speech

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Erscheinungsdatum

05.08.1999
Verlag Cambridge University Press
Seitenzahl

(Printausgabe)
Dateigröße

11655 KB
Sprache

Englisch
EAN

9781316098752
Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
Die Leseprobe wird geladen.
  • Produktbild: Term Rewriting and All That