CORC

在结果中检索

CORC

浏览/检索结果: 共13条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于Open GL的滑坡三维可视化计算及动态模拟研究 期刊论文
铁道工程学报, 2013, 卷号: 30, 期号: 8, 页码: 8-10
作者:  谭冬生;  洪政;  袁小龙;  姚伟;  孙书伟
收藏  |  浏览/下载：6/0  |  提交时间：2016/09/20
an approximate approach to belief revision 期刊论文
LOGIC JOURNAL OF THE IGPL, 2012, 卷号: 20, 期号: 2, 页码: 486-496
Luan Shangmin; Dai Guozhong; Magnani Lorenzo
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
almost universal cupping and diamond embeddings 期刊论文
ANNALS OF PURE AND APPLIED LOGIC, 2012, 卷号: 163, 期号: 6, 页码: 717-729
Liu Jiang; Wu Guohua
收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17
on lachlans major sub-degree problem 期刊论文
ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 卷号: 47, 期号: 4, 页码: 341-434
Cooper S. Barry; Li Angsheng
收藏  |  浏览/下载：11/0  |  提交时间：2011/06/10
bounding computably enumerable degrees in the ershov hierarchy 期刊论文
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
收藏  |  浏览/下载：6/0  |  提交时间：2011/07/13
bounding computably enumerable degrees in the ershov hierarchy 期刊论文
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
收藏  |  浏览/下载：9/0  |  提交时间：2011/07/13
bounding computably enumerable degrees in the ershov hierarchy 期刊论文
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
收藏  |  浏览/下载：9/0  |  提交时间：2011/07/13
bounding and nonbounding minimal pairs in the enumeration degrees 期刊论文
JOURNAL OF SYMBOLIC LOGIC, 2005, 卷号: 70, 期号: 3, 页码: 741-766
Cooper SB; Li AS; Sorbi A; Yang Y
收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28
on the distribution of lachlan nonsplitting bases 期刊论文
ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 卷号: 41, 期号: 5, 页码: 455-482
Cooper SB; Li AS; Yi XD
收藏  |  浏览/下载：6/0  |  提交时间：2011/07/29
splitting and nonsplitting, ii: a low(2) c.e. degree above which 0 is not splittable 期刊论文
JOURNAL OF SYMBOLIC LOGIC, 2002, 卷号: 67, 期号: 4, 页码: 1391-1430
Cooper SB; Li AS
收藏  |  浏览/下载：6/0  |  提交时间：2011/07/29

©版权所有 ©2017 CSpace - Powered by CSpace