-
中文图书1.Advances in applications of logical dynamic systems O141.2/5
馆藏复本:10
可借复本:10 闫永义, 岳菊梅著
中国水利水电出版社 2019
(0) 馆藏 -
中文图书2.证明达尔文:进化和生物创造性的一个数学理论:making biology mathematical O141.2/2
馆藏复本:6
可借复本:6 (美) 格雷戈里·蔡汀(Gregory Chaitin)著
人民邮电出版社 2015
(0) 馆藏 -
中文图书3.证明方法与理论 O141.2/4
馆藏复本:3
可借复本:3 张寅生著
国防工业出版社 2016
(0) 馆藏 -
中文图书4.数学证明.第2版 O141.2/3
馆藏复本:3
可借复本:3 萧文强著
大连理工大学出版社 2016.01
(0) 馆藏 -
中文图书5.基于不确定规则的模糊逻辑系统 O141.2/1
馆藏复本:3
可借复本:3 (美)孟德尔著
北京 2013.12
(0) 馆藏