-
中文图书1.挑战思维极限:勾股定理的365种证明 O123.3/2
馆藏复本:2
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏 -
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:coq'art: the calculus of inductive constructions O141/61
馆藏复本:3
可借复本:3 Yves Bertot, Pierre Casteran著
清华大学出版社 2010
(0) 馆藏 -
中文图书3.几何定理计算机证明 O18/100
馆藏复本:3
可借复本:3 孙熙椿编著
科学出版社 2007
(0) 馆藏 -
中文图书4.微积分定理公式证明辞典 O172/96
馆藏复本:6
可借复本:5 (日)屉部贞市郎编
吉林人民出版社 1983
(0) 馆藏 -
中文图书5.素数定理的初等证明 O156/36
馆藏复本:3
可借复本:0 潘承洞,潘承彪著
上海科学技术出版社 1988.2
(0) 馆藏 -
中文图书6.计算机怎样解几何题:谈谈自动推理 TP18/24
馆藏复本:3
可借复本:0 张景中著
暨南大学出版社 2000
(0) 馆藏