10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449, Band 449)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540528857
MPN
Springer Berlin Heidelberg 6891038

Eigenschaften

Menü