Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Die Proceedings der vierten ITP-Konferenz in Rennes bündeln aktuelle Forschungsbeiträge zur interaktiven Beweisführung, zeigen neue Algorithmen, fo ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 10:26:02
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:38:30
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-05-2026 00:28:27
Allgemein
Marke
Sandrine Blazy
ISBN
Sandrine Blazy 364239633X
MPN
Sandrine Blazy black & white illustrations
