|
题名:
|
计算机怎样解几何题:谈谈自动推理 / 张景中著 , |
|
ISBN:
|
7-81029-930-1 价格： 15 |
|
语种:
|
CHI |
|
载体形态:
|
41 |
|
出版发行:
|
出版地： 出版社： 清华大学出版社 出版日期： 2000 |
|
中图分类法:
|
N49-51/6132/4 版次： |