-
中文图书1.计算机数学 O29/19
馆藏复本:9
可借复本:7 ( 英 )库克, 贝兹著
科学出版社 1988.08
(0) 馆藏 -
中文图书2.基于Agent的计算 TP183/39
馆藏复本:4
可借复本:3 石纯一, 张伟著
清华大学出版社 2007
(0) 馆藏 -
中文图书3.数理逻辑与集合论.第2版 O14/12(2)
馆藏复本:4
可借复本:4 石纯一, 王家廞编著
清华大学出版社 2000
(0) 馆藏 -
中文图书4.人工智能原理 TP18/12
馆藏复本:3
可借复本:2 (美) N.J.尼尔逊著
科学出版社 1983
(0) 馆藏 -
中文图书5.定性推理方法 TP181/1
馆藏复本:4
可借复本:2 石纯一, 廖士中编著
清华大学出版社 2003
(0) 馆藏 -
中文图书6.人工智能原理 TP18/24
馆藏复本:5
可借复本:5 石纯一, 黄昌宁, 王家廞编著
清华大学出版社 1993
(0) 馆藏 -
中文图书7.农业专家系统入门 S126/21
馆藏复本:11
可借复本:10 石纯一, 李明树, 钱跃良编著
清华大学出版社 2000
(0) 馆藏 -
中文图书8.离散数学 O158/58
馆藏复本:4
可借复本:3 (美) Richard Johnsonbaugh著
人民邮电出版社 2003
(0) 馆藏 -
中文图书9.离散数学 O158/58:2
馆藏复本:2
可借复本:2 (美) Richard Johnsonbaugh著
电子工业出版社 2005
(0) 馆藏