CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
Nonmonotonic propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 2
作者:  Li, Wei;  Sui, Yuefei;  Wang, Yuhui
收藏  |  浏览/下载:19/0  |  提交时间:2021/12/01
The propositional normal default logic and the finite/infinite injury priority method 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 9, 页码: 10
作者:  Li, Wei;  Sui, Yuefei;  Wang, Yuhui
收藏  |  浏览/下载:38/0  |  提交时间:2019/12/12
default  extension  strong extension  finite/infinite injury priority method  recursively enumerable sets