检索到 2 条 责任者=陈光喜 的结果
-
中文图书1.高阶逻辑辅助证明系统 TP391.75/782
馆藏复本：4
可借复本：2 (德)托比亚斯·尼普科夫(Tobias Nipkow)，(英)劳伦斯·鲍尔森(Lawrence C. Paulson)，(德)玛尔库斯·温泽尔
北京理工大学出版社 2013
(0) 馆藏 -
中文图书2.离散数学 O158/794
馆藏复本：5
可借复本：0 陈光喜, 丁宣浩, 古天龙编著
电子工业出版社 2008
(0) 馆藏
