检索到 6 条 主题词=机器证明 的结果
-
中文图书1.身份基类哈希证明系统的构造及应用 TN918.4/Z935-2
馆藏复本：3
可借复本：3 周彦伟著
西安电子科技大学出版社 2023
(0) 馆藏 -
中文图书2.机器证明的逻辑推定 O141/L541
馆藏复本：3
可借复本：3 李娜著
科学出版社 2023
(0) 馆藏 -
中文图书3.王者之路:机器证明及其应用 O1-0/W851
馆藏复本：2
可借复本：2 吴文俊主编
湖南科学技术出版社 1999
(0) 馆藏 -
中文图书4.非线性代数方程组与定理机器证明 N51/H153/8
馆藏复本：2
可借复本：2 杨路等著
上海科技教育出版社 1996.9
(0) 馆藏 -
中文图书5.公理化集合论机器证明系统 O144/Y862
馆藏复本：2
可借复本：2 郁文生, 孙天宇, 付尧顺著
科学出版社 2020
(0) 馆藏 -
中文图书6.论初等几何定理的机器证明与消去法 O123/Z848
馆藏复本：3
可借复本：3 朱望规著
国防工业出版社 2016
(0) 馆藏
