-
中文图书1.数理逻辑与集合论.2版 O141/1021
馆藏复本:1
可借复本:1 石纯一,王家廞编著
清华大学出版社 2000
(0) 馆藏 -
中文图书2.计算机数学 O158/0040
馆藏复本:5
可借复本:0 (英)库克(Cooke,D.J.),(英)贝兹(Bez,H.E.)著
科学出版社 1988.8
(0) 馆藏 -
中文图书3.人工智能原理 TP11/7723
馆藏复本:5
可借复本:0 (美)尼不逊,N.J.著
科学出版社 1983.2
(0) 馆藏 -
中文图书4.数理逻辑与集合论 O158/1021
馆藏复本:5
可借复本:3 石纯一,王家 编著
清华大学 1990.2
(0) 馆藏 -
中文图书5.数理逻辑与集合论 O158/1021/1
馆藏复本:5
可借复本:1 石纯一,王家〓编著
清华大学 1990.2
(0) 馆藏 -
中文图书6.自动定理证明 TP18/1021
馆藏复本:4
可借复本:0 石纯一编著
气象 1989.12
(0) 馆藏