|
已选(0)清除
条数/页： 排序方式：
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
  收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 余式方法中的线性策略以及语义策略和锁策略 期刊论文
2015, 2015
吴尽昭; 刘卓军
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| 由“半费之讼”而被误解的“两难推理” 期刊论文
辽宁师范大学学报(自然科学版), 2011, 卷号: 第1期, 页码: 21-24
作者: 宋玉靖; 宋笑含
收藏 | 浏览/下载：1/0 | 提交时间：2019/03/07
|
| 一阶命题演算的希尔伯特型直觉主义系统 期刊论文
河北大学学报(自然科学版), 2001, 卷号: 21, 期号: 2, 页码: 103-106
作者: 刘大中[1]; 董克诚[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 经典公理系统在模糊命题演算中的不和谐性 期刊论文
淄博学院学报(自然科学与工程版), 2000, 期号: 01, 页码: 页数：4
作者: 杨晓斌; 叶继昌
收藏 | 浏览/下载：1/0 | 提交时间：2019/08/24
|
| 限悖论逻辑Lpm的命题演算 期刊论文
中山大学学报论丛, 2000, 期号: 02
作者: 桂起权; 陈自力
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 数理逻辑数学刍议——兼谈我国高校文科应设置数理逻辑基础课 会议论文
作者: 张燕京[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 命题演算的两个直觉主义系统 期刊论文
河北大学学报（自然科学版）, 2000, 卷号: 20, 期号: 4, 页码: 316-319
作者: 刘大中[1]; 董克诚[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 用法律的观点评价现代规范逻辑 期刊论文
兰州学刊, 1997, 期号: 3, 页码: 20-23
作者: 陶景侃
收藏 | 浏览/下载：1/0 | 提交时间：2016/07/19
|
| 余式方法中的线性策略以及语义策略和锁策略 其他
1997-01-01
吴尽昭; 刘卓军
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
