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
85.49 EUR
Preis aktualisiert am: 20-09-2026 13:53:16
Gesponsert
85.59 EUR
Preis aktualisiert am: 24-09-2026 13:24:36
Gesponsert
85.59 EUR
Preis aktualisiert am: 25-09-2026 00:11:24

Allgemein

Marke
Springer
ISBN
Springer 3030294358

Eigenschaften

Menü