语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Geometry-Data processing-Congr
概要
作品:
2 作品在 2 项出版品 2 种语言
书目信息
Automated deduction in geometry: 4th International Workshop,ADG 2002
by:
(书目-语言数据,印刷品)
Discrete geometry for computer imagery: 12th International conference,DGCI 2005
by:
(书目-语言数据,印刷品)
主题
Logic, Symbolic and mathematic
Automatic theorem proving-Cong
Geometry-Data processing-Congr
Computer graphics-Congresses
Geometry-Data processing-Congr
处理中
...
变更密码
登入