-
中文图书1.计算机怎样解几何题:谈谈自动推理 O123.1/31
馆藏复本:4
可借复本:2 张景中著
暨南大学出版社 2000
(0) 馆藏 -
中文图书2.数理逻辑与机器证明 O141/11
馆藏复本:1
可借复本:0 陆钟万著
科学出版社 1983
(0) 馆藏
馆藏复本:4
可借复本:2 张景中著
暨南大学出版社 2000
(0) 馆藏
馆藏复本:1
可借复本:0 陆钟万著
科学出版社 1983
(0) 馆藏