CSpace

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

已选(0)清除 条数/页:   排序方式:
Monotonicity and nonmonotonicity in L-3-valued propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 4, 页码: 11
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载:32/0  |  提交时间:2022/06/21
sequent  multisequent  gentzen deduction system  monotonicity  nonmonotonicity  
无权访问的条目 学位论文
作者:  陈博
Adobe PDF(1537Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2016/01/19