Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Gesponsert
Medimops DE
85.09 EUR
Preis aktualisiert am: 18-06-2026 10:07:41
Gesponsert
SpringerLink DE
85.59 EUR
Preis aktualisiert am: 18-06-2026 00:42:23
Gesponsert
Galaxus.de
85.59 EUR
Preis aktualisiert am: 18-06-2026 03:56:23
Allgemein
Marke
Springer
ISBN
Springer 3030294358
