The store will not work correctly when cookies are disabled.
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
364 Seiten, Taschenbuch
Mehr Informationen | Reihe | Lecture Notes in Computer Science |
|---|
| ISBN | 9783540664635 |
|---|
| Sprache | Englisch |
|---|
| Erscheinungsdatum | 01.09.1999 |
|---|
| Genre | Mathematik/Sonstiges |
|---|
| Verlag | Springer Berlin |
|---|
| Herausgegeben von | Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery |
|---|
| Lieferzeit | Lieferbar in 6 Werktagen |
|---|
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH
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!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
Mehr Informationen | Reihe | Lecture Notes in Computer Science |
|---|
| ISBN | 9783540664635 |
|---|
| Sprache | Englisch |
|---|
| Erscheinungsdatum | 01.09.1999 |
|---|
| Genre | Mathematik/Sonstiges |
|---|
| Verlag | Springer Berlin |
|---|
| Herausgegeben von | Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery |
|---|
| Lieferzeit | Lieferbar in 6 Werktagen |
|---|
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH
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!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Sagen Sie uns Ihre Meinung
