|
题名:
|
吴文俊全集 / 吴文俊著 , 高小山编订 |
|
ISBN:
|
978-7-5088-5553-0 价格： CNY158.00 |
|
语种:
|
chi |
|
载体形态:
|
5册 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
第一卷为英文卷, 收录了《Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving》一书。 |
|
主题词:
|
数学 |
|
中图分类法:
|
O1-53 版次： 5 |
|
主要责任者:
|
吴文俊 著 |
|
次要责任者:
|
高小山 编订 |