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: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479, Band 1479)
53.49 EUR
Preis aktualisiert am: 13-05-2026 16:16:11
53.49 EUR
Preis aktualisiert am: 13-05-2026 16:16:11 
SpringerLink DE
Gesponsert Theorem Proving in Higher Order Logics
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:37:25
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:37:25 | 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.
