设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(45)
SpringerLink电子期刊(1210)
GSW全文库(6)
Wiley电子期刊(13)
ProQuest学位论文(1)
Elsevier电子期刊(37967)
Springer电子图书(61)
NATURE电子期刊(14)
ACS电子期刊(304)
在“
ProQuest学位论文
”中,
命中:
1
条,耗时:小于0.01 秒
在所有数据库中总计命中:
39,621
条
1.
Increasing The Effectiveness of Deduction in Propositional SAT Solvers.
作者:
Han
;
Hyojung.
学历:Doctor
年:2011
1
查看站内搜索结果(2)
按检索点细分(1)
文摘(1)
按年细分(1)
2011年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.