|
已选(0)清除
条数/页： 排序方式：
|
| 范式的直观图形求解法 期刊论文
兰州大学学报(社会科学版), 2014, 卷号: 42, 期号: 6, 页码: 160-164
作者: 邱德钧
  收藏 | 浏览/下载：1/0 | 提交时间：2016/07/19
|
| 关键文字和极小不可满足公式 学位论文
2008
作者: 张秋菊
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 基于ST方法的命题公式不可满足性的判定系统 学位论文
2005
作者: 董改芳
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/02
|
| 谈谈公式的教学 期刊论文
2001, 期号: 5, 页码: 7
作者: 岑文[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/23
|
| 论科学的逻辑标准 期刊论文
科学·经济·社会, 1998, 卷号: 16, 期号: 2, 页码: 4
作者: 杨充霖
收藏 | 浏览/下载：1/0 | 提交时间：2016/07/19
|
| 用法律的观点评价现代规范逻辑 期刊论文
兰州学刊, 1997, 期号: 3, 页码: 20-23
作者: 陶景侃
收藏 | 浏览/下载：1/0 | 提交时间：2016/07/19
|
| 法律需要什么样的逻辑 期刊论文
甘肃理论学刊, 1997, 期号: 1, 页码: 5
作者: 陶景侃
收藏 | 浏览/下载：1/0 | 提交时间：2016/07/19
|
| 判定多值逻辑推导问题的代数方法 期刊论文
兰州大学学报(自然科学版), 1995, 期号: 2, 页码: 6
作者: 谭红艳; 李永礼; 谢福鼎
收藏 | 浏览/下载：5/0 | 提交时间：2016/07/15
|
| 概率命题的合情推理 期刊论文
西安交通大学学报, 1992, 期号: 2, 页码: 1-6,38
-
收藏 | 浏览/下载：0/0 | 提交时间：2020/01/07
|
| 范式的PROLOG程序实现 期刊论文
1987, 期号: 1, 页码: 18-20
作者: 许道云
收藏 | 浏览/下载：0/0 | 提交时间：2020/01/02
|
