-
中文图书1.身份基类哈希证明系统的构造及应用
馆藏复本:0
可借复本:0 周彦伟著
西安电子科技大学出版社 2023
(0) 馆藏 -
中文图书2.机器证明的逻辑推定 O141/9
馆藏复本:1
可借复本:1 李娜著
科学出版社 2023.6
(0) 馆藏 -
中文图书3.计算机怎样解几何题:谈谈自动推理 O123.1-49/1
馆藏复本:3
可借复本:1 张景中著
暨南大学出版社 2000
(0) 馆藏

