用户名： 密码： 验证码：
常用资源 电子图书期刊论文学位会议外文资源特色专题内部出版物 
中国地质文献-中文(4)馆藏书目(31)CNKI学位论文(1014)知网期刊论文(947)
馆藏期刊(11)CNKI会议论文(6)CNKI期刊论文0611(2)万方学位论文(6)
在“馆藏书目”中，命中：31条，耗时：小于0.01 秒

在所有数据库中总计命中：2,021条

1.波科学的数理逻辑
责任者：黄志洵
关键词：波
出版日期：2011
2.面向计算机科学的数理逻辑
责任者：陆钟万
关键词：数理逻辑
出版日期：2002
4.数理逻辑与集合论
责任者：王宏 ; 杨明
出版日期：2001
5.数理逻辑的思想和方法
责任者：昂扬
关键词：数理逻辑
出版日期：1991.9
6.面向计算机科学的数理逻辑
责任者：陆钟万
出版日期：1989.11
7.数理逻辑、集合
出版日期：1987.12
8.新英汉数学词汇
关键词：数学
出版日期：2002
9.数理逻辑与机器证明
责任者：陆钟万
出版日期：1983.11
10.数理逻辑
关键词：数理逻辑
出版日期：1985.3
1
2
3
4
按检索点细分(31)
题名(14)
关键词(19)
MARC全文(31)
按出版日期细分(31)
2011年(1)
2002年(2)
2001年(1)
2000年及以前(27)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700