题名:
几何定理计算机证明
/ 孙熙椿编著 ,
ISBN:
978-7-03-015505-4 价格： CNY29.00
语种:
chi
载体形态:
207页 图 24cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 2007
主题词:
几何学
定理证明
中图分类法:
O18-39 版次： 4
主要责任者:
孙熙椿
编著
附注:
国家科学技术学术著作出版基金资助出版