GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Handbook of Automated Reasoning
1188 Seiten, Hardcover
€ 296,00
| Reihe | Elsevier BV |
|---|---|
| ISBN | 9780444508126 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.07.2001 |
| Größe | 240 x 165 mm |
| Verlag | Elsevier BV |
| Herausgegeben von | Alan Robinson |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Libri GmbH Europaallee 1 | D-36244 Bad Hersfeld gpsr@libri.de |
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
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
| Reihe | Elsevier BV |
|---|---|
| ISBN | 9780444508126 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.07.2001 |
| Größe | 240 x 165 mm |
| Verlag | Elsevier BV |
| Herausgegeben von | Alan Robinson |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Libri GmbH Europaallee 1 | D-36244 Bad Hersfeld gpsr@libri.de |
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)