结果筛选
分馆
-
LIBNET中心馆
主题词
-
数理逻辑-解题
-
推理
-
多值逻辑
-
判定问题
-
数理逻辑-词典
文献类型
-
图书
出版时间
-
1994
-
1992
出版社
-
晓园
-
西南交通大学出版社
-
科学出版社
-
云南教育出版社
-
中国人民大学出版社
第一责任者
-
( )M.M.马诺原著
-
徐 扬等编著
-
罗铸楷等著
-
林毓材编著
-
(波)马奇舍夫斯基(Ma...
5 条记录 1/1 页
5 条记录 1/1 页
广州图畅计算机科技有限公司Copyright © 2016 All Rights Reserved