-
中文图书1.数理逻辑与集合论 O141/S48
馆藏复本:5
可借复本:4 石纯一,王家廞 编著
清华大学出版社 2000
(0) 馆藏 -
中文图书2.人工智能原理 TP18/S48
馆藏复本:1
可借复本:1 石纯一等编著
清华大学出版社 1993
(0) 馆藏 -
中文图书3.离散数学:第五版 O158-43/Y93
馆藏复本:1
可借复本:1 (美)Richard Johnsonbaugh著
人民邮电出版社 2003.9
(0) 馆藏 -
中文图书4.定性推理方法 TP181/S48
馆藏复本:5
可借复本:5 石纯一,廖士中[编著]
清华大学出版社 2002
(0) 馆藏 -
中文图书5.数理逻辑与集合论 O141/S48#1
馆藏复本:2
可借复本:2 石纯一,王家廞 编著
清华大学出版社 2000
(0) 馆藏 -
中文图书6.计算机数学 TP3/K82
馆藏复本:5
可借复本:1 (英)D,J.库克,H.E.贝兹著
科学出版社 1988.8
(0) 馆藏 -
中文图书7.离散数学:第五版 O158-43/Y93#1
馆藏复本:3
可借复本:3 (美)Richard Johnsonbaugh著
人民邮电出版社 2003.9
(0) 馆藏