Termersetzungssysteme - 6 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2023 |
---|---|---|---|---|
Schnitt | € 103,22 | € 56,39 | € 74,36 | € 44,99 |
Nachfrage |
1
Termersetzungssysteme
DE NW
ISBN: 9783528056520 bzw. 3528056525, in Deutsch, Vieweg & Teubner, neu.
Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term. Mit Termen, Termgleichungen und Termregeln lassen sich sehr elegant Sachverhalte aus den unterschiedlichsten Anwendungsgebieten spezifizieren, berechnen und beweisen. So werden in diesem Buch insbesondere verschiedene Verfahren zum maschinellen Beweisen von Gleichungen entwickelt: Unifikation, Knuth-Bendix-Vervollständigung und automatische Induktionsbeweiser. Ein wichtiges Paradigma, das sich durch alle Ebenen des Buches zieht, ist das regelbasierte Rechnen. Es begegnet uns sowohl bei der Darstellung der Algorithmen als auch bei der Anwendung von Termersetzungssystemen. Neben der Vermittlung der theoretischen Grundlagen der vorgestellten Verfahren wird auch gezielt auf Methoden zu deren Implementierung und Möglichkeiten zu deren Anwendung eingegangen. Reinhard Bündgen, 24.4 x 17.0 x 1.4 cm, Buch.
2
Symbolbild
Termersetzungssysteme: Theorie, Implementierung, Anwendung
DE PB NW
ISBN: 9783528056520 bzw. 3528056525, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 228 pages. Dimensions: 9.6in. x 6.7in. x 0.6in.Termersetzungssysteme sind ein mchtiges Werkzeug mit Einsatzmglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term. Mit Termen, Termgleichungen und Termregeln lassen sich sehr elegant Sachverhalte aus den unterschiedlichsten Anwendungsgebieten spezifizieren, berechnen und beweisen. So werden in diesem Buch insbesondere verschiedene Verfahren zum maschinellen Beweisen von Gleichungen entwickelt: Unifikation, Knuth-Bendix-Vervollstndigung und automatische Induktionsbeweiser. Ein wichtiges Paradigma, das sich durch alle Ebenen des Buches zieht, ist das regelbasierte Rechnen. Es begegnet uns sowohl bei der Darstellung der Algorithmen als auch bei der Anwendung von Termersetzungssystemen. Neben der Vermittlung der theoretischen Grundlagen der vorgestellten Verfahren wird auch gezielt auf Methoden zu deren Implementierung und Mglichkeiten zu deren Anwendung eingegangen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 228 pages. Dimensions: 9.6in. x 6.7in. x 0.6in.Termersetzungssysteme sind ein mchtiges Werkzeug mit Einsatzmglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term. Mit Termen, Termgleichungen und Termregeln lassen sich sehr elegant Sachverhalte aus den unterschiedlichsten Anwendungsgebieten spezifizieren, berechnen und beweisen. So werden in diesem Buch insbesondere verschiedene Verfahren zum maschinellen Beweisen von Gleichungen entwickelt: Unifikation, Knuth-Bendix-Vervollstndigung und automatische Induktionsbeweiser. Ein wichtiges Paradigma, das sich durch alle Ebenen des Buches zieht, ist das regelbasierte Rechnen. Es begegnet uns sowohl bei der Darstellung der Algorithmen als auch bei der Anwendung von Termersetzungssystemen. Neben der Vermittlung der theoretischen Grundlagen der vorgestellten Verfahren wird auch gezielt auf Methoden zu deren Implementierung und Mglichkeiten zu deren Anwendung eingegangen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
3
Termersetzungssysteme: Theorie, Implementierung, Anwendung (1998)
DE PB NW
ISBN: 9783528056520 bzw. 3528056525, in Deutsch, 248 Seiten, 1998. Ausgabe, Vieweg & Sohn, Taschenbuch, neu.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Termersetzungssysteme: Theorie, Implementierung, Anwendung (1998)
DE PB US
ISBN: 9783528056520 bzw. 3528056525, in Deutsch, 248 Seiten, 1998. Ausgabe, Vieweg & Sohn, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Termersetzungssysteme: Theorie, Implementierung, Anwendung (2014)
DE PB NW
ISBN: 9783528056520 bzw. 3528056525, in Deutsch, Vieweg, Braunschweig/Wiesbaden, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
Lade…