Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science, 1360, Band 1360)

Allgemein

Marke
Dongming Wang
ISBN
Dongming Wang 9783540642978
MPN
Dongming Wang Illustrations

Eigenschaften

Menü