文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
11 | O178/X810 | 不等式秘诀解读 | 徐文兵, 李劲松, 齐亚超编著 | 清华大学出版社 | 2017.03 |
12 | O178-39/Y228 | 不等式机器证明与自动发现 | 杨路,夏壁灿著 | 科学出版社 | 2008.01 |
文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
11 | O178/X810 | 不等式秘诀解读 | 徐文兵, 李劲松, 齐亚超编著 | 清华大学出版社 | 2017.03 |
12 | O178-39/Y228 | 不等式机器证明与自动发现 | 杨路,夏壁灿著 | 科学出版社 | 2008.01 |