-
中文图书1.信息、智能与逻辑:智能科学的逻辑基础研究:the logical basic research of intelligence science.第二卷 O141/62/2:1
馆藏复本:6
可借复本:6 何华灿主编
西北工业大学出版社 2010
(0) 馆藏 -
中文图书2.胡世华文集 O141/58
馆藏复本:1
可借复本:1 胡世华等著
科学出版社 2008
(0) 馆藏 -
中文图书3.信息、智能和逻辑 TP18/226/1
馆藏复本:3
可借复本:2 何华灿, 马盈仓主编
西北工业大学出版社 2008
(0) 馆藏 -
中文图书4.几何与数理逻辑 O18/99
馆藏复本:3
可借复本:3 李仲来主编
北京师范大学出版社 2007
(0) 馆藏 -
西文图书5.Constraints in computational logics : theory and applications : international summer school, CCL'99, O141/C758
馆藏复本:1
可借复本:1 CCL'99
Springer, c2001.
(0) 馆藏 -
西文图书6.Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I O141/F935
馆藏复本:1
可借复本:1 FroCoS 2002
Springer, c2002.
(0) 馆藏 -
西文图书7.Current issues in quantum logic / O141-53/W926
馆藏复本:1
可借复本:1 Workshop on Quantum Logic
Plenum Press, c1981.
(0) 馆藏 -
中文图书8.数理和应用逻辑文集 O14/4
馆藏复本:5
可借复本:1 张锦文主编
北京大学出版社 1992.5
(0) 馆藏