中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
一个高的钻石定理

文献类型:期刊论文

作者李昂生 ; 杨东屏
刊名软件学报
出版日期2000
卷号11期号:1
关键词可计算性理论 可计算枚举度 可计算枚举度 Turing归约(图灵归约) 相对可计算性 Computabilitytheory computablyenumerableset computablyenumerabledegree Turingreducibility relativecomputability
其他题名a high diamond theorem
收录类别wanfang
公开日期2010-08-23
源URL[http://124.16.136.157/handle/311060/3824]  
专题软件研究所_基础软件国家工程研究中心_期刊论文
推荐引用方式
GB/T 7714
李昂生,杨东屏. 一个高的钻石定理[J]. 软件学报,2000,11(1).
APA 李昂生,&杨东屏.(2000).一个高的钻石定理.软件学报,11(1).
MLA 李昂生,et al."一个高的钻石定理".软件学报 11.1(2000).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。