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: 19-08-2026 12:04:54
53.49 EUR
Preis aktualisiert am: 19-08-2026 12:04:54 
SpringerLink DE
Gesponsert Interactive Theorem Proving
53.49 EUR
Preis aktualisiert am: 19-08-2026 23:14:31
53.49 EUR
Preis aktualisiert am: 19-08-2026 23:14:31 | Bezeichner | |
|---|---|
| ISBN | Sandrine Blazy 364239633X |
| MPN | Sandrine Blazy black & white illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Sandrine Blazy
