当前位置：在线查询网 > 图书大全 > Automated Deduction in Geometry几何学的自动演绎/会议录

Automated Deduction in Geometry几何学的自动演绎/会议录_图书大全


请输入要查询的图书：

可以输入图书全称，关键词或ISBN号

Automated Deduction in Geometry几何学的自动演绎/会议录

ISBN: 9783540209270

出版年: 2004-3

页数: 229

定价: 429.40元

关键词：Automated Deduction in Geometry 几何学 的 自动 演绎 会议 录