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: 29-04-2026 22:31:48
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 30-04-2026 00:34:44
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-04-2026 17:20:11
Allgemein
Marke
Bonacina, Maria Paola
ISBN
Bonacina, Maria Paola 3642385737
