设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(24)
NATURE电子期刊(1)
Elsevier电子期刊(10)
在“
SpringerLink电子期刊
”中,
命中:
24
条,耗时:0.0169906 秒
在所有数据库中总计命中:
35
条
1.
First-Order Logic in the
Medvedev
Lattice
作者:
Rutger Kuyper
关键词:
Medvedev
degrees
;
Intuitionistic logic
;
First
;
order logic
;
03D30
;
03B20
;
03G30
刊名:Studia Logica
出版年:2015
2.
Cryptic species of Ponto-Caspian bighead goby of the genus Ponticola (Gobiidae)
作者:
E. D. Vasil'eva
;
W. W. Schwarzhans
;
D. A.
Medvedev
…
关键词:
Ponticola gorlap
;
P. kessleri
;
P. iljini
;
karyotypes
;
mtDNA
;
morphology
;
taxonomy
;
phylogeny
;
origin
刊名:Journal of Ichthyology
出版年:2016
3.
Natural factors of the
Medvedev
lattice capturing IPC
作者:
Rutger Kuyper (1)
关键词:
Medvedev
degrees
;
Intuitionistic logic
;
Jankov’s logic
;
03D30
;
03B20
;
03G10
刊名:Archive for Mathematical Logic
出版年:2014
4.
Longitudinal variations in the hydroxyl emission: 1. Temperature
作者:
A. I. Semenov (16635)
N. N. Shefov (16635)
I. V.
Medvedev
a (26635)
刊名:Geomagnetism and Aeronomy
出版年:2013
5.
The ??theory of the effectively closed
Medvedev
degrees
is decidable
作者:
Joshua A. Cole and Takayuki Kihara
关键词:
Recursion theory
;
Medvedev
degree
;
P01{\Pi^0_1} Class
刊名:Archive for Mathematical Logic
出版年:2010
6.
Kripke Models, Distributive Lattices, and
Medvedev
Degrees
作者:
Sebastiaan A. Terwijn
关键词:
Kripke semantics
;
Medvedev
degrees
;
intuitionistic propositional logic
刊名:Studia Logica
出版年:2007
7.
Structural and dynamic aspects of electron transfer in proteins -highly organized natural nanostructures
作者:
A. I. Kotelnikov (1) kotel@icp.ac.ru
E. S.
Medvedev
(1)
N. S. Goryachev (1)
关键词:
Key words electron transfer – heme
;
containing proteins – reaction centers – nonexponential kinetics – nonadiabatic and adiabatic approximations – combined model – matrix element – free energy – reorganization energy – protein dynamics
刊名:Russian Chemical Bulletin
出版年:2011
8.
Degrees
of difficulty of generalized r.e. separating classes
作者:
Douglas Cenzer and Peter G. Hinman
关键词:
Medvedev
reducibility
;
Degrees
;
Separating class
刊名:Archive for Mathematical Logic
出版年:2008
9.
Kripke Models, Distributive Lattices, and
Medvedev
Degrees
作者:
Sebastiaan A. Terwijn
关键词:
Kripke semantics
;
Medvedev
degrees
;
intuitionistic propositional logic
刊名:Studia Logica
出版年:2007
10.
Degrees
of presentability of structures. II
作者:
A. I. Stukachev
关键词:
admissible set
;
semilattice of
degrees
of Σ
;
definability
刊名:Algebra and Logic
出版年:2008
1
2
3
按检索点细分(24)
题名(5)
关键词(5)
文摘(10)
按出版年细分(24)
2016年(1)
2015年(1)
2014年(1)
2013年(1)
2011年(1)
2010年(1)
2009年(1)
2008年(4)
2007年(4)
2006年(2)
2005年(2)
2004年(2)
2003年(3)
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
.