中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
无权访问的条目 学位论文
作者:  陈博
Adobe PDF(1537Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2016/01/19
无权访问的条目 期刊论文
作者:  王石;  吴昱明;  臧良俊;  曹存根
Adobe PDF(277Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2014/07/25
无权访问的条目 学位论文
作者:  包义保
Adobe PDF(10570Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2012/06/27
无权访问的条目 学位论文
作者:  郭庆萍
Adobe PDF(2439Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2012/06/26
无权访问的条目 学位论文
作者:  陈立民
Adobe PDF(3461Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2011/07/01
无权访问的条目 期刊论文
作者:  邱莉榕;  史忠植;  林 芬;  常 亮
Adobe PDF(459Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/13
无权访问的条目 期刊论文
作者:  李清勇;  胡宏;  施智平;  史忠植
Adobe PDF(353Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/22