Interactive Theorem Proving
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)
52.94 EUR
Preis aktualisiert am: 13-05-2026 15:53:58
52.94 EUR
Preis aktualisiert am: 13-05-2026 15:53:58 
SpringerLink DE
Gesponsert Interactive Theorem Proving
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:26:32
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:26:32 
Galaxus.de
Gesponsert Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein
53.49 EUR
Preis aktualisiert am: 13-05-2026 05:54:17
53.49 EUR
Preis aktualisiert am: 13-05-2026 05:54:17 | 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.
