Tobias Nipkow: Term Rewriting and All That | preigu

Cover: 9780521779203 | Term Rewriting and All That | Tobias Nipkow (u. a.) | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

70,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Inhaltsverzeichnis

Preface; 1. Motivating examples; 2. Abstract reduction systems; 3. Universal algebra; 4. Equational problems; 5. Termination; 6. Confluence; 7. Completion; 8. Gröbner bases and Buchberger's algorithm; 9. Combination problems; 10. Equational unification; 11. Extensions; Appendix 1. Ordered sets; Appendix 2. A bluffer's guide to ML; Bibliography; Index.

Details

Erscheinungsjahr:	2006
Fachbereich:	EDV
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521779203
ISBN-10:	0521779200
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Nipkow, Tobias Baader, Franz Franz, Baader
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	244 x 170 x 18 mm
Von/Mit:	Tobias Nipkow (u. a.)
Erscheinungsdatum:	31.07.2006
Gewicht:	0,548 kg

Artikel-ID: 106577942

Inhaltsverzeichnis

Preface; 1. Motivating examples; 2. Abstract reduction systems; 3. Universal algebra; 4. Equational problems; 5. Termination; 6. Confluence; 7. Completion; 8. Gröbner bases and Buchberger's algorithm; 9. Combination problems; 10. Equational unification; 11. Extensions; Appendix 1. Ordered sets; Appendix 2. A bluffer's guide to ML; Bibliography; Index.

Details

Erscheinungsjahr:	2006
Fachbereich:	EDV
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521779203
ISBN-10:	0521779200
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Nipkow, Tobias Baader, Franz Franz, Baader
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	244 x 170 x 18 mm
Von/Mit:	Tobias Nipkow (u. a.)
Erscheinungsdatum:	31.07.2006
Gewicht:	0,548 kg

Artikel-ID: 106577942

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9780735619678 | Code Complete | A Practical Handbook of Software Construction | Buch

A Practical Handbook of Software Construction

EAN: 9780735619678

Sprache: Englisch

Von/Mit: Steve McConnell

40,20 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783842102132 | Internet für Senioren | Mareile Heiting | Taschenbuch | 389 S. | 2016

Internet für Senioren

Aktuell zu Windows 10 und dem neuen Browser Edge

EAN: 9783842102132

Sprache: Deutsch

Von/Mit: Mareile Heiting

19,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783734583292 | Was Trainings wirklich wirksam macht | Ina Weinbauer-Heidel (u. a.)

Was Trainings wirklich wirksam macht

12 Stellhebel der Transferwirksamkeit

EAN: 9783734583292

Sprache: Deutsch

Von/Mit: Ina Weinbauer-Heidel (u. a.)

36,90 €*

Lieferzeit 2-4 Werktage

Buch

Cover: 9780262039246 | Reinforcement Learning | An Introduction | Richard S. Sutton (u. a.)

Reinforcement Learning

An Introduction

EAN: 9780262039246

Sprache: Englisch

Von/Mit: Richard S. Sutton (u. a.)

95,40 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783788622794 | WAS IST WAS Entdecke die Tierwelt | Spannende Fakten zum Staunen

WAS IST WAS Entdecke die Tierwelt

Spannende Fakten zum Staunen

EAN: 9783788622794

Sprache: Deutsch

22,00 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783039020843 | Enzyklopädie der psychoaktiven Pflanzen - Band 2 | Rätsch (u. a.)

Enzyklopädie der psychoaktiven Pflanzen - Band 2

Neue Pflanzen, Pilze, Bakterien. Anwendung. Kulturgeschichte

EAN: 9783039020843

Sprache: Deutsch

Von/Mit: Christian Rätsch (u. a.)

129,00 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9780262046305 | Introduction to Algorithms | Thomas H. Cormen (u. a.) | Buch | 2022

Introduction to Algorithms

EAN: 9780262046305

Sprache: Englisch

Von/Mit: Thomas H. Cormen (u. a.)

140,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783747500712 | Machine Learning visuell lernen - von StatQuest | Josh Starmer | Buch

Machine Learning visuell lernen - von StatQuest

Mit Bildern ganz einfach lernen und verstehen

EAN: 9783747500712

Sprache: Deutsch

Von/Mit: Josh Starmer

10,25 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783836294249 | Scripting | Michael Kofler | Buch | Rheinwerk Computing | 492 S.

Das Praxisbuch für Admins und DevOps-Teams. So nutzen Sie effizient Skripts in Python, der PowerShell und Bash

EAN: 9783836294249

Von/Mit: Michael Kofler

39,90 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783831047772 | Anatomie und Physiologie | Alice Roberts | Buch | 536 S. | Deutsch

Anatomie und Physiologie

Die große Bild-Enzyklopädie. Über 2000 spektakuläre Abbildungen

EAN: 9783831047772

Sprache: Deutsch

Von/Mit: DK Verlag (u. a.)

69,95 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9781646092017 | Encyclopaedia Eorzea ~The World of Final Fantasy XIV~ Volume III

Encyclopaedia Eorzea ~The World of Final Fantasy XIV~ Volume III

EAN: 9781646092017

Sprache: Englisch

Von/Mit: Enix Square

39,55 €*

Lieferzeit 1-2 Werktage