设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(8)
知网期刊论文(7)
在“
Elsevier电子期刊
”中,
命中:
48
条,耗时:小于0.01 秒
在所有数据库中总计命中:
15
条
1.
On non-self-referential fragments of modal logics
作者:
Junhua Yu
1
;
2
;
junhua.yu.5036@outlook.com
关键词:
03F07
;
03B45
;
03F0
3
;
03B60
刊名:Annals of Pure and Applied Logic
出版年:2017
2.
Bivariant K-theory with -coefficients and rho classes of unitary representations
作者:
Paolo Antonini
a
;
paolo.antonini@math.u-psud.fr" class="auth_mail" title="E-mail the corresponding author
;
Sara Azzali
b
;
azzali@uni-potsdam.de" class="auth_mail" title="E-mail the corresponding author
;
Georges Skandalis
c
;
skandalis@math.univ-paris-diderot.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Operator algebras
;
Bivariant K-theory
;
Rho invariants
刊名:Journal of Functional Analysis
出版年:2016
3.
The limit of the zero set of polynomials of the Fibonacci type
作者:
Albrecht Bö
;
ttcher
a
;
aboettch@mathematik.tu-chemnitz.de" class="auth_mail" title="E-mail the corresponding author
;
Fuad Kittaneh
b
;
fkitt@ju.edu.jo" class="auth_mail" title="E-mail the corresponding author
关键词:
primary
;
11B39
;
secondary
;
15A18
;
15B05
;
30C15
;
47B35
刊名:Journal of Number Theory
出版年:2016
4.
B → ρ,K
⁎
transition form factors in AdS/QCD model
作者:
Mohammad Ahmady
a
;
Robyn Campbell
a
;
Sé
;
bastien Lord
b
;
Ruben Sandapen
a
;
c
关键词:
Semileptonic and rare B decays
;
AdS/QCD model
;
Distribution amplitudes
;
transition form factors
刊名:Nuclear and Particle Physics Proceedings
出版年:2016
5.
Proof internalization in generalized Frege systems for classical logic
作者:
Yury Savateev
关键词:
03B45
;
03F07
;
03F
45
;
03F0
5
刊名:Annals of Pure and Applied Logic
出版年:2014
6.
Logical omniscience as infeasibility
作者:
Sergei Artemov
;
Roman Kuznets
关键词:
03B45
;
03B60
;
03F07
;
68Q17
刊名:Annals of Pure and Applied Logic
出版年:2014
7.
Observing, reporting, and deciding in networks of sentences
作者:
H. Jerome Keisler
;
Jeffrey M. Keisler
关键词:
03C40
;
03F07
;
68T15
;
68T27
刊名:Annals of Pure and Applied Logic
出版年:March, 2014
8.
Minimal from classical proofs
作者:
Helmut Schwichtenberg
;
schwicht@math.lmu.de
;
Christoph Senjak
关键词:
03F0
3
;
03F07
;
03F0
5
刊名:Annals of Pure and Applied Logic
出版年:2013
9.
Definitional Reflection and Basic Logic
作者:
Peter Schroeder-Heister
1
;
psh@uni-tuebingen.de
关键词:
03F0
3
;
03F07
;
03F
52
;
03A05
刊名:Annals of Pure and Applied Logic
出版年:2013
10.
Canonical proof nets for classical logic
作者:
Richard McKinley
1
;
mckinley@iam.unibe.ch
关键词:
03B05
;
03F0
5
;
03F07
刊名:Annals of Pure and Applied Logic
出版年:2013
1
2
3
4
5
按检索点细分(48)
关键词(32)
文摘(16)
按出版年细分(48)
2027年及以后(2)
2017年(1)
2016年(3)
2014年(2)
2013年(4)
2012年(8)
2008年(4)
2007年(3)
2006年(4)
2003年(1)
2002年(1)
2001年(4)
2000年(2)
2000年及以前(9)
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
.