|
已选(0)清除
条数/页： 排序方式： |
| Variant quantifiers in L-3-valued first-order logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9
作者: Li, Wei; Sui, Yuefei
  收藏 | 浏览/下载：17/0 | 提交时间：2022/06/21
L(3)-valued (three-valued) first-order logic sequent quantifier soundness theorem completeness theorem |
| Decomposition for a new kind of imprecise information system 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2018, 卷号: 12, 期号: 2, 页码: 376-395
作者: Deng, Shaobo; Guan, Sujie; Li, Min; Wang, Lei; Sui, Yuefei
收藏 | 浏览/下载：64/0 | 提交时间：2019/12/10
imprecise information systems decomposition composition soundness and completeness |
| 无权访问的条目 学位论文
作者: 夏龙
Adobe PDF(3152Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/07/20 |
| 无权访问的条目 学位论文
作者: 时阳光
Adobe PDF(1503Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/27 |
| 无权访问的条目 学位论文
作者: 王超
Adobe PDF(5852Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/24 |
| 无权访问的条目 学位论文
作者: 满彤
Adobe PDF(4911Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/07/01 |
| 无权访问的条目 学位论文
作者: 陈博
Adobe PDF(1537Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/01/19 |
| 无权访问的条目 学位论文
作者: 金锡波
Adobe PDF(2698Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/07/13 |
| 无权访问的条目 学位论文
作者: 孙梅莹
Adobe PDF(724Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 公明
Adobe PDF(2907Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/01 |
