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: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
53.49 EUR
Preis aktualisiert am: 13-05-2026 16:26:29
53.49 EUR
Preis aktualisiert am: 13-05-2026 16:26:29 
SpringerLink DE
Gesponsert Interactive Theorem Proving
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:40:30
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:40:30 
Galaxus.de
Gesponsert Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring
53.49 EUR
Preis aktualisiert am: 13-05-2026 12:11:25
53.49 EUR
Preis aktualisiert am: 13-05-2026 12:11:25 | Bezeichner | |
|---|---|
| ISBN | Sandrine Blazy 364239633X |
| MPN | Sandrine Blazy black & white illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Sandrine Blazy
