|
题名:
|
吴文俊全集. Ⅳ. 数学机械化卷: 几何定理机器证明的基本原理 / 吴文俊 , |
|
ISBN:
|
978-7-5088-5553-0 价格： 0.00 |
|
载体形态:
|
234页, [1] 页图版 25cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 20190001 |
|
主题词:
|
数学 |
|
中图分类法:
|
O1 版次： |