-
Deutschland
Land International
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science)
Die Proceedings der achten Internationalen Konferenz für Interaktive Beweisführung (ITP 2017) aus Brasília zeigen neue Ansätze zur automatisiert ...
Gesponsert
Medimops DE
52.94 EUR
Preis aktualisiert am: 02-11-2026 22:54:26
Gesponsert
Hugendubel
53.49 EUR
Preis aktualisiert am: 03-11-2026 15:41:52
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:32:48
Gesponsert
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:51:13
Allgemein
Marke
Mauricio Ayala-Rincón
ISBN
Mauricio Ayala-Rincón 9783319661063
