-
中文图书1.数理逻辑与集合论.第2版 O141/S237B
馆藏复本:13
可借复本:13 石纯一, 王家〓编著
清华大学出版社 2000
(0) 馆藏 -
中文图书2.人工智能原理 TP18/S237
馆藏复本:1
可借复本:1 石纯一,黄昌宁,王家廞编著
清华大学出版社 1993.10
(0) 馆藏 -
中文图书3.人工智能原理 73.82/541
馆藏复本:10
可借复本:10 (美)尼尔森(Nilsson,N.J.)著
科学出版社 1983.2
(0) 馆藏 -
中文图书4.数理逻辑与集合论 51.3/151
馆藏复本:5
可借复本:5 石纯一,王家 编
清华大学出版社 1990.2
(0) 馆藏