设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(22)
Elsevier电子期刊(52)
在“
SpringerLink电子期刊
”中,
命中:
22
条,耗时:0.0199955 秒
在所有数据库中总计命中:
74
条
1.
A Simple Evaluation Procedure for Range Camera Measurement Quality
关键词:
Range camera
;
Hand
;
eye transformation
;
Time
;
of
;
flight
;
Error metric
刊名:Lecture Notes in Computer Science
出版年:2016
2.
Some properties of r-maximal sets and Q 1,N -reducibility
作者:
R. Sh. Omanadze
关键词:
Upper semilattice
;
r
;
Maximal set
;
Q 1
;
N
;
reducibility
;
Major subset
;
Nontrivial splitting
;
03D
25
;
03D30
刊名:Archive for Mathematical Logic
出版年:2015
3.
First-Order Logic in the Medvedev Lattice
作者:
Rutger Kuyper
关键词:
Medvedev degrees
;
Intuitionistic logic
;
First
;
order logic
;
03D30
;
03B20
;
03G30
刊名:Studia Logica
出版年:2015
4.
Polynomial clone reducibility
作者:
Quinn Culver (1)
关键词:
Computability
;
Algorithmic randomness
;
Turing reducibility
;
Polynomial clones
;
03D3
2
;
03D30
;
68Q30
刊名:Archive for Mathematical Logic
出版年:2014
5.
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
6.
Bounded enumeration reducibility and its degree structure
作者:
Daniele Marsibilio (1)
Andrea Sorbi (1)
关键词:
Strong enumeration reducibilities
;
Be
;
reducibility
;
Global properties
;
03D30
;
03D
25
刊名:Archive for Mathematical Logic
出版年:2012
7.
Binary subtrees with few labeled paths
作者:
Rodney G. Downey (1) Rod.Downey@vuw.ac.nz
Noam Greenberg (1) Noam.Greenberg@vuw.ac.nz
Carl G. Jockusch (2) jockusch@math.uiuc.edu
Kevin G. Milans (3) milans@math.sc.edu
关键词:
Mathematics Subject Classification (2000) 05D99 –
;
03D30
刊名:Combinatorica
出版年:2011
8.
Effectively closed sets and enumerations
作者:
Paul Brodhead and Douglas Cenzer
关键词:
Mathematics Subject Classification (2000)
03D30
;
03D
25
刊名:Archive for Mathematical Logic
出版年:2008
9.
Subrecursive degrees and fragments of Peano Arithmetic
作者:
Lars Kristiansen
关键词:
Mathematics Subject Classification (2000)
;
03D
20
;
03D30
;
03D
80
;
03F30
刊名:Archive for Mathematical Logic
出版年:2001
10.
On one-sided versus two-sided classification
作者:
Frank Stephan
关键词:
Mathematics Subject Classification (2000)
;
03D
28
;
03D30
;
68T05
刊名:Archive for Mathematical Logic
出版年:2001
1
2
3
按检索点细分(22)
关键词(19)
文摘(4)
按出版年细分(22)
2016年(1)
2015年(2)
2014年(2)
2012年(1)
2011年(1)
2008年(1)
2002年(2)
2001年(10)
2000年(2)
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
.