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
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-07-2026 01:29:54
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-07-2026 23:51:37
Gesponsert
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:17:43
Allgemein
Marke
Sandrine Blazy
ISBN
Sandrine Blazy 364239633X
MPN
Sandrine Blazy black & white illustrations
