Automated Deduction in Geometry 6th International Workshop

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2007

ISBN

9783540773559

标注页数

213 页

PDF页数

225 页