设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(1)
CNKI学位论文(54)
知网期刊论文(29)
在“
SpringerLink电子期刊
”中,
命中:
169
条,耗时:小于0.01 秒
在所有数据库中总计命中:
84
条
1.
Notes on Computable Analysis
作者:
Michelle Porter
;
Adam Day
;
Rodney Downey
关键词:
Computable analysis
;
Computable real
;
Computable real
;
valued function
;
Markov computable
;
Borel computable
;
Type II computable
;
Darboux property
;
Blaschke Selection Theorem
;
Convex sets
刊名:Theory of Computing Systems
出版年:2017
2.
Parallel Feedback
Turing
Computability
关键词:
Parallel computation
;
Feedback
;
Determinism
;
Non
;
determinism
;
Reflection
;
Gap
;
reflection
;
Admissibility
刊名:Lecture Notes in Computer Science
出版年:2016
3.
Computability
and Analysis, a Historical Approach
刊名:Lecture Notes in Computer Science
出版年:2016
4.
Genericity for Mathias forcing over general
Turing
ideals
作者:
Peter A. Cholak
;
Damir D. Dzhafarov
;
Mariya I. Soskova
刊名:Israel Journal of Mathematics
出版年:2016
5.
The computational capability of chemical reaction automata
作者:
Fumiya Okubo
;
Takashi Yokomori
刊名:Natural Computing
出版年:2016
6.
Asynchronous Spiking Neural P Systems with Anti-Spikes
作者:
Tao Song
;
Xiangrong Liu
;
Xiangxiang Zeng
关键词:
Membrane computing
;
Spiking neural P system
;
Anti
;
spike
;
Turing
computability
;
Asynchronous system
刊名:Neural Processing Letters
出版年:2015
7.
Starting from the scenario Euclid–Bolyai–Einstein
作者:
Solomon Marcus
关键词:
Euclid’s fifth postulate
;
Bolyai–Lobachevsky’s non
;
Euclidean geometries
;
Einstein’s relativity theory
;
Archimedes-axiom
;
Turing
’s
computability
刊名:Synthese
出版年:2015
8.
Buttresses of the
Turing
Barrier
作者:
Paolo Cotogno
关键词:
Accelerating machines
;
Hypercomputation
;
Turing
barrier
;
Undecidability
刊名:Acta Analytica
出版年:2015
9.
On the Executability of Interactive Computation
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Generalized Effective Reducibility
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(169)
题名(16)
关键词(56)
文摘(109)
按出版年细分(169)
2017年(1)
2016年(6)
2015年(12)
2014年(6)
2013年(11)
2012年(12)
2010年(5)
2009年(11)
2008年(11)
2007年(18)
2006年(16)
2005年(29)
2004年(1)
2003年(11)
2002年(8)
2000年(3)
2000年及以前(8)
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
.