Theorem Proving in Higher Order Logics
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603, Band 3603)
53.49 EUR
Preis aktualisiert am: 21-04-2026 17:09:55
53.49 EUR
Preis aktualisiert am: 21-04-2026 17:09:55 
SpringerLink DE
Gesponsert Theorem Proving in Higher Order Logics
53.49 EUR
Preis aktualisiert am: 21-04-2026 21:05:00
53.49 EUR
Preis aktualisiert am: 21-04-2026 21:05:00 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen.
