|
已选(0)清除
条数/页： 排序方式： |
| L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者: 曹存根; 胡岚曦; 眭跃飞
  收藏 | 浏览/下载：6/0 | 提交时间：2023/12/04
信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| 无权访问的条目 学位论文
作者: 唐威强
Adobe PDF(2441Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2018/06/22 |
| The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文
中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887
作者: Li Wei; Sui Yuefei
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
命题逻辑 连接 演绎系统 布尔代数 三元 |
| 无权访问的条目 学位论文
作者: 陈博
Adobe PDF(1537Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/01/19 |
| 基于布尔语义的Gentzen推导模型 期刊论文
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者: 陈博; 眭跃飞
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
布尔代数 命题逻辑 不等式 完备性 |
| 无权访问的条目 学位论文
作者: 孙梅莹
Adobe PDF(724Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 包义保
Adobe PDF(10570Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 杨智
Adobe PDF(1333Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/19 |
| 无权访问的条目 学位论文
作者: 曾强
Adobe PDF(1219Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/07/02 |
| 无权访问的条目 期刊论文
作者: 沈海华
Adobe PDF(308Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/05/22 |
