Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
Gesponsert
Medimops DE
52.84 EUR
Preis aktualisiert am: 15-06-2026 08:27:39
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 15:23:02
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 15-06-2026 03:47:07
Allgemein
Marke
Bonacina, Maria Paola
ISBN
Bonacina, Maria Paola 3642385737
