10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449, Band 449)
Gesponsert
Medimops DE
147.74 EUR
Preis aktualisiert am: 03-05-2026 12:00:15
Gesponsert
SpringerLink DE
149.79 EUR
Preis aktualisiert am: 03-05-2026 12:19:18
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540528857
MPN
Springer Berlin Heidelberg 6891038
