Tobias Nipkow: Term Rewriting and All That | preigu

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

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

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

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

71,80 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

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
Inhalt:	Kartoniert / Broschiert
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

Ähnliche Produkte

Buch

Cover: 9780321573513 | Algorithms | Robert Sedgewick (u. a.) | Buch | Gebunden | Englisch

EAN: 9780321573513

Sprache: Englisch

Von/Mit: Robert Sedgewick (u. a.)

71,75 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781449388393 | Hackers. 25th Anniversary Edition | Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition

Heroes of the Computer Revolution

EAN: 9781449388393

Sprache: Englisch

Von/Mit: Steven Levy

25,25 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783642054716 | Algorithmen und Datenstrukturen | Die Grundwerkzeuge | Taschenbuch

Algorithmen und Datenstrukturen

Die Grundwerkzeuge

EAN: 9783642054716

Sprache: Deutsch

Von/Mit: Martin Dietzfelbinger (u. a.)

49,99 €

Lieferzeit 4-7 Werktage

Buch

Cover: 9783456845753 | Macht Musik schlau? | Lutz Jäncke | Buch | 453 S. | Deutsch | 2008

Macht Musik schlau?

Neue Erkenntnisse aus den Neurowissenschaften und der kognitiven Psychologie

EAN: 9783456845753

Sprache: Deutsch

Von/Mit: Lutz Jäncke

38,00 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783842105263 | Excel 2019 | Helmut Vonhoegen | Buch | 1032 S. | Deutsch | 2018

Der umfassende Ratgeber, komplett in Farbe. Alles, was Sie über Excel wissen wollen. Zum Lernen und Nachschlagen....

EAN: 9783842105263

Sprache: Deutsch

Von/Mit: Helmut Vonhoegen

39,90 €

Aktuell nicht verfügbar

Taschenbuch

Tipp

Cover: 9781492050049 | Learning Spark | Lightning-fast Data Analytics | Damji (u. a.) | Buch

Lightning-fast Data Analytics

EAN: 9781492050049

Sprache: Englisch

Von/Mit: Jules S. Damji (u. a.)

63,15 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783150196892 | Augmented Intelligence. Wie wir mit Daten und KI besser entscheiden

Augmented Intelligence. Wie wir mit Daten und KI besser entscheiden

[Was bedeutet das alles?]

EAN: 9783150196892

Sprache: Deutsch

Von/Mit: Thomas Ramge

6,00 €

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Cover: 9780691222837 | Gulls of Europe, North Africa, and the Middle East | Adriaens (u. a.)

Gulls of Europe, North Africa, and the Middle East

An Identification Guide

EAN: 9780691222837

Sprache: Englisch

Von/Mit: Peter Adriaens (u. a.)

44,40 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783818614546 | 10 Pilze | Die sichersten Arten finden und bestimmen | Taschenbuch

Die sichersten Arten finden und bestimmen

EAN: 9783818614546

Sprache: Deutsch

Von/Mit: Gerhard Schuster (u. a.)

12,00 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783406822308 | Die Geschichte der Erde | Ein Atlas | Christian Grataloup | Buch

Die Geschichte der Erde

EAN: 9783406822308

Sprache: Deutsch

Von/Mit: Christian Grataloup

38,00 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783791375861 | Das Museum der Insekten | Dave Goulson (u. a.) | Buch | 112 S. | 2024

Das Museum der Insekten

Eintritt frei! - Sachbilderbuch im Großformat für Kinder ab 8 Jahren mit faszinierenden Illustrationen von Emily Carter

EAN: 9783791375861

Sprache: Deutsch

Von/Mit: Dave Goulson (u. a.)

28,00 €

Lieferzeit 1-2 Werktage