Automated Deduction in Geometry 5th International Workshop

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2006

ISBN

354031332X

标注页数

216 页

PDF页数

226 页