|
已选(0)清除
条数/页： 排序方式：
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
  收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者: Li, Wei; Sui, Yuefei
收藏 | 浏览/下载：12/0 | 提交时间：2019/12/10
|
| The sound and complete R-calculus for revising propositional theories 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2015, 卷号: 58, 期号: 9, 页码: 12
作者: Li Wei; Sui YueFei; Sun MeiYing
收藏 | 浏览/下载：13/0 | 提交时间：2019/12/13
|
| The sound and complete R-calculus for revising propositional theories 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2015, 卷号: 58
作者: Li Wei; Sui YueFei; Sun MeiYing
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| An R-Calculus for the Logic Programming 会议论文
International Conference on Computer Science and Information Technology (CSAIT), Kunming, PEOPLES R CHINA, 2014-01-01
作者: Li, Wei; Sui, Yuefei
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
| A sound and complete R-calculi with respect to contraction and minimal change 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2014, 卷号: 8, 页码: 184-191
作者: Li, Wei; Sui, Yuefei
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/06
|
| The Sound and Complete R-Calculi with Respect to the Set-Based and Inference-Based Minimal Change 会议论文
PROCEEDINGS OF THE 2013 ASIA-PACIFIC COMPUTATIONAL INTELLIGENCE AND INFORMATION TECHNOLOGY CONFERENCE, 2013-01-01
作者: Wei, Li; Sui, Yuefei
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/06
|
| A representative model based algorithm for maximal contractions 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2013, 卷号: 56
作者: Jiang DongChen; Lou YiHua; Jin Yi; Luo Jie; Li Wei
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
| R-calculus without the cut rule 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2011, 卷号: 54, 页码: 2530-2543
作者: Luo Jie; Li Wei
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/06
|
