搜索页_log

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(3753)	馆藏书目(1422)	综合电子资源(17)	CNKI学位论文(271577)	标准(105)
中国地质文献-英文(6005)	地学标准(152)	万方学术会议(450)	CNKI期刊论文0611(1471)	新数字化标准(20)
中国地质文献-中文(414)	地图图件(1)	廉政文化(8)	知网期刊论文(440573)
馆藏电子书[解放前](115)	Springer电子图书(6364)	廉政文化副本(4)	廉政视频(3)
馆藏期刊(630)	院士团队服务(15)	CNKI会议论文(1422)	万方学位论文(1651)

在“SpringerLink电子期刊”中，命中：98,335条，耗时：小于0.01 秒

在所有数据库中总计命中：736,172条

1. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

作者： Wesley H. Holliday

关键词：Medvedev frames ; Modal logic ; Definability ; Nominal tense logic ; Difference modality ; Complement modality ; Axiomatizability ; Kripke frame incompleteness

刊名：Studia Logica

出版年：2017

2. Anti-exceptionalism about logic

作者： Ole Thomassen Hjortland

关键词：Anti ; exceptionalism ; Abduction ; Philosophy of logic ; Nonclassical logics ; Logical pluralism

刊名：Philosophical Studies

出版年：2017

3. Environmental logistics performance indicators affecting per capita income and sectoral growth: evidence from a panel of selected global ranked logistics countries

作者： Syed Abdul Rehman Khan ; Dong Qianli…

关键词：Environmental logistics performance indicators ; Carbon dioxide emissions ; Fossil fuel energy consumption ; GHG emissions ; Per capita income ; Sectoral growth ; FDI inflows ; Energy demand ; Panel GMM estimator

刊名：Environmental Science and Pollution Research

出版年：2017

4. Normal Modal Logics Determined by Aligned Clusters

作者： Zofia Kostrzycka ; Yutaka Miyazaki

关键词：Brouwer modal logic ; Kripke frames ; Characteristic formulas ; Normal extensions

刊名：Studia Logica

出版年：2017

5. Characterizing logging practices in Java-based open source software projects – a replication study in Apache Software Foundation

作者： Boyuan Chen ; Zhen Ming (Jack) Jiang

关键词：Empirical study ; Replication ; Log messages ; Logging code ; Mining software engineering data ; MSR

刊名：Empirical Software Engineering

出版年：2017

6. When noise-free logical stochastic resonance occurs in a bistable system

作者： Bo Yang ; Xiao Zhang ; Mao-Kang Luo

关键词：Logical stochastic resonance ; Bistable system ; Logic gate ; High frequency

刊名：Nonlinear Dynamics

出版年：2017

7. Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions

作者： Paul Christian Dawkins ; John Paul Cook

关键词：Truth ; functional logic ; Guided reinvention ; Disjunctions ; Reasoning about logic ; Quantification

刊名：Educational Studies in Mathematics

出版年：2017

8. Use and misuse of logistic equations for modeling chemical kinetics

作者： Alan K. Burnham

关键词：Kinetic analysis ; Thermal analysis ; Logistic function ; Generalized logistic equation ; Prout–Tomkins model ; Autocatalytic reactions

刊名：Journal of Thermal Analysis and Calorimetry

出版年：2017

9. Determination of shale osmotic pressure using spontaneous potential log

作者： Xuan Luo ; Patrick Were ; Zhengmeng Hou ; Yang Gou

关键词：Shale osmotic pressure ; Well logging ; SP log ; Wellbore stability ; Shale cation exchange capacity

刊名：Environmental Earth Sciences

出版年：2017

10. Interval type-2 fuzzy logic for dynamic parameter adaptation in the bat algorithm

作者： Jonathan Perez ; Fevrier Valdez ; Oscar Castillo ; Patricia Melin…

关键词：Optimization ; Dynamic parameter adaptation ; Bat algorithm ; Type ; 1 fuzzy logic ; Type ; 2 fuzzy logic ; Benchmark mathematical functions

刊名：Soft Computing

出版年：2017

1

2

3

4

5

6

7

8

9

查看站内搜索结果(24)

按检索点细分(98335)

刊名(6461)

题名(14789)

作者(3235)

关键词(14228)

文摘(84488)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

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

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

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