GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Computing in Systems Described by Equations
132 Seiten, Taschenbuch
€ 12,80
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik |
| ISBN | 9783540085317 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.12.1977 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik |
| ISBN | 9783540085317 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.12.1977 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Sagen Sie uns Ihre Meinung
Wie gefällt Ihnen unser Shop?
Ihr Name (optional)
Ihre E-Mail Adresse (optional)