-
中文图书1.模糊逻辑与模糊推理 B815.6/2
馆藏复本:1
可借复本:0 刘叙华著
吉林大学出版社 1989.6
(0) 馆藏 -
中文图书2.定理机器证明 TP18/11
馆藏复本:4
可借复本:2 刘叙华, 姜云飞编著
科学出版社 1987
(0) 馆藏 -
中文图书3.模糊逻辑与模糊推理 O159/31
馆藏复本:3
可借复本:2 刘叙华著
吉林大学出版社 1989
(0) 馆藏 -
中文图书4.基于归结方法的自动推理 TP18/56
馆藏复本:2
可借复本:2 刘叙华著
科学出版社 1994
(0) 馆藏