Reduktionssysteme: Rechnen Und Schliessen in Gleichungsdefinierten Strukturen: Rechnen und Schließen in gleichungsdefinierten Strukturen
5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2018 |
|---|---|---|---|---|
| Schnitt | € 55,85 | € 48,84 | € 77,93 | € 44,17 |
| Nachfrage |
1
Symbolbild
Reduktionssysteme (1995)
DE PB NW RPISBN: 9783540585596 bzw. 3540585591, in Deutsch, Springer Mrz 1995, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften. Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet. 251 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. Neuware - Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften. Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet. 251 pp. Deutsch.
2
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen (Springer-Lehrbuch) (1995)
DE PB NWISBN: 9783540585596 bzw. 3540585591, in Deutsch, 264 Seiten, Springer Berlin Heidelberg, Taschenbuch, neu.
Neu ab: € 53,11 (15 Angebote)
Gebraucht ab: € 35,23 (6 Angebote)
Zu den weiteren 21 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
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
3
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen (Springer-Lehrbuch) (1995)
DE PB USISBN: 9783540585596 bzw. 3540585591, in Deutsch, 264 Seiten, Springer Berlin Heidelberg, Taschenbuch, gebraucht.
Neu ab: € 53,11 (15 Angebote)
Gebraucht ab: € 35,23 (6 Angebote)
Zu den weiteren 21 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, Brit Books DE.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Brit Books DE.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Symbolbild
Reduktionssysteme. Rechnen und SchlieÇ?en in gleichungsdefinierten Strukturen (1995)
DE PB USISBN: 9783540585596 bzw. 3540585591, in Deutsch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1995, Studio: Springer.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1995, Studio: Springer.
5
Symbolbild
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen (Springer-Lehrbuch) (German Edition)
DE PB NWISBN: 9783540585596 bzw. 3540585591, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
Lade…