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: 19-08-2026 11:45:36
52.94 EUR
Preis aktualisiert am: 19-08-2026 11:45:36 
SpringerLink DE
Gesponsert Interactive Theorem Proving
53.49 EUR
Preis aktualisiert am: 19-08-2026 23:14:35
53.49 EUR
Preis aktualisiert am: 19-08-2026 23:14:35 | 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.
