5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87, Band 87)

Gesponsert
53.49 EUR
Preis aktualisiert am: 14-11-2026 12:50:49
Gesponsert
53.49 EUR
Preis aktualisiert am: 15-11-2026 05:58:08

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540100091
MPN
Springer Berlin Heidelberg 6884135

Eigenschaften

Menü