-
中文图书1.信息、智能和逻辑 TP18/226/1
馆藏复本:3
可借复本:2 何华灿, 马盈仓主编
西北工业大学出版社 2008
(0) 馆藏 -
中文图书2.模型修正与破损诊断 TB115/23
馆藏复本:5
可借复本:1 张德文,(美)魏阜旋著
科学出版社 1999
(0) 馆藏 -
中文图书3.面向计算机科学的数理逻辑 TP30/11
馆藏复本:6
可借复本:0 陆钟万著
科学出版社 1998
(0) 馆藏 -
中文图书4.数位逻辑与计算机设计问题详解 TP302-44/1
馆藏复本:3
可借复本:0 ( )M.M.马诺原著
晓园
(0) 馆藏 -
中文图书5.自动推理导论 TP18/99
馆藏复本:3
可借复本:1 邱玉辉,张为群编著
电子科技大学出版社 1992.6
(0) 馆藏