Automated Deduction in Geometry 4th International Workshop

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2004

ISBN

3540209271

标注页数

234 页

PDF页数

243 页