检索到 3 条 分类号=73.87081 的结果
-
中文图书1.几何定理机器证明的基本原理:初等几何部分 73.87081/133Q1
馆藏复本：5
可借复本：5 吴文俊著
科学出版社 1984.8
(0) 馆藏 -
中文图书2.数理逻辑与机器证明 73.87081/133, O141/L995-2
馆藏复本：7
可借复本：7 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书3.线性自动机 73.87081/133Q2
馆藏复本：11
可借复本：11 管纪文著
科学出版社 1984.11
(0) 馆藏
