Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Term Rewriting and All That

Name: Term Rewriting and All That
Brand: Cambridge University Press
SKU: 04095304
Price: 79.49 EUR
Availability: InStock
Author: Franz Baader
ISBN: 9780521779203

Franz Baader

Sprache

Englisch

Buch Broschur

Libristo-Code: 04095304

Verlag Cambridge University Press, August 1999

This textbook offers a unified and self-contained introduction to the field of term rewriting. It co... Vollständige Beschreibung

Libristo-Code: 04095304

195 b

79.49 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sebastián Durón (1660-1716). "Oigan qué dice el alma" JOSA

Broschur

32.99 €

Lucky Luke - Lucky Luke gegen Joss Jamon Morris

Hardcover

15.00 €

Le printemps de Pluton et autres nouvelle Punch

Broschur

17.09 €

EL CLUB DUMAS ARTURO PEREZ-REVERTE

Buch

37.19 €

L'atelier + A1 (édition 2022) - Livre + didierfle.app Marie-Noëlle Cocton

Broschur

17.49 €

Asset Management Evelyn Kiepas

Broschur

58.00 €

Policajná chobotnica Peter Šloser

Hardcover

16.29 €

Tutti and the Terrible Yellow Leaves (Ukrainian Edition) Anastasia Goldak

Hardcover

22.99 €

FLE (Français langue étrangère). Le français en vrai ! Pour communiquer au quotidien [B1-C1] (avec fichiers audio) M. Antoine Boissier

Broschur

17.09 €

Inversion en el crecimiento de dividendos Joey Thompson

Broschur

12.89 €

El placebo eres tú JOE DISPENZA

Broschur

10.09 €

Anibal y Melquiades Francisco Hinojosa

Broschur

7.19 €

Les lumieres de ma vie Fabienne Couturier-Blin

Broschur

9.59 €

Albrecht Durer Norbert Wolf

Broschur

12.59 €

PUNCH NEEDLE. BORDADO EN RELIEVE LAETITIA DALBIES

Broschur

26.09 €

Mathematik-Formeln kompakt fur BWL-Bachelor Bernd Luderer

Broschur

20.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Term Rewriting and All That

Autor Franz Baader

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 316

EAN 9780521779203

ISBN 0521779200

Libristo-Code 04095304

Verlag Cambridge University Press

Gewicht 548

Abmessungen 170 x 244 x 18

Kategorie

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Enzyklopädien und Nachschlagewerke > Nachschlagewerke

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert