7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)

Gesponsert
106.99 EUR
Preis aktualisiert am: 19-06-2026 18:49:29

Allgemein

Marke
Springer New York
ISBN
Springer New York 0387960228
MPN
Springer New York 6900909

Eigenschaften

Menü