TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS

出版社

SPRINGER-VERLAG

出版时间

2007

ISBN

9783540730835

标注页数

408 页

PDF页数

422 页