设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
出版物地质文摘英文(3)
Springer电子图书(6364)
NATURE电子期刊(4442)
ACS电子期刊(5075)
中国地质文献-英文(6005)
SpringerLink电子期刊(98335)
GSW全文库(3753)
Wiley电子期刊(1677)
ProQuest学位论文(5759)
Elsevier电子期刊(167664)
在“
SpringerLink电子期刊
”中,
命中:
98,335
条,耗时:小于0.01 秒
在所有数据库中总计命中:
299,077
条
1.
On the Modal
Log
ic of Subset and Superset: Tense Logic over Medvedev Frames
作者:
Wesley H. Holliday
关键词:
Medvedev frames
;
Modal
log
ic
;
Definability
;
Nominal tense
log
ic
;
Difference modality
;
Complement modality
;
Axiomatizability
;
Kripke frame incompleteness
刊名:Studia
Log
ica
出版年:2017
2.
Anti-exceptionalism about
log
ic
作者:
Ole Thomassen Hjortland
关键词:
Anti
;
exceptionalism
;
Abduction
;
Philosophy of
log
ic
;
Nonclassical
log
ics
;
Log
ical pluralism
刊名:Philosophical Studies
出版年:2017
3.
Environmental
log
istics performance indicators affecting per capita income and sectoral growth: evidence from a panel of selected global ranked
log
istics countries
作者:
Syed Abdul Rehman Khan
;
Dong Qianli…
关键词:
Environmental
log
istics 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
Log
ics Determined by Aligned Clusters
作者:
Zofia Kostrzycka
;
Yutaka Miyazaki
关键词:
Brouwer modal
log
ic
;
Kripke frames
;
Characteristic formulas
;
Normal extensions
刊名:Studia
Log
ica
出版年:2017
5.
Characterizing
log
ging 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
;
Log
ging code
;
Mining software engineering data
;
MSR
刊名:Empirical Software Engineering
出版年:2017
6.
When noise-free
log
ical stochastic resonance occurs in a bistable system
作者:
Bo Yang
;
Xiao Zhang
;
Mao-Kang Luo
关键词:
Log
ical stochastic resonance
;
Bistable system
;
Log
ic gate
;
High frequency
刊名:Nonlinear Dynamics
出版年:2017
7.
Guiding reinvention of conventional tools of mathematical
log
ic: students’ reasoning about mathematical disjunctions
作者:
Paul Christian Dawkins
;
John Paul Cook
关键词:
Truth
;
functional
log
ic
;
Guided reinvention
;
Disjunctions
;
Reasoning about
log
ic
;
Quantification
刊名:Educational Studies in Mathematics
出版年:2017
8.
Use and misuse of
log
istic equations for modeling chemical kinetics
作者:
Alan K. Burnham
关键词:
Kinetic analysis
;
Thermal analysis
;
Log
istic function
;
Generalized
log
istic 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
log
ging
;
SP
log
;
Wellbore stability
;
Shale cation exchange capacity
刊名:Environmental Earth Sciences
出版年:2017
10.
Interval type-2 fuzzy
log
ic 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
log
ic
;
Type
;
2 fuzzy
log
ic
;
Benchmark mathematical functions
刊名:Soft Computing
出版年:2017
1
2
3
4
5
6
7
8
9
查看站内搜索结果(24)
按检索点细分(98335)
刊名(6461)
题名(14789)
作者(3235)
关键词(14228)
文摘(84488)
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
.