|
已选(0)清除
条数/页： 排序方式：
|
| 余式方法中的线性策略以及语义策略和锁策略 期刊论文
2015, 2015
吴尽昭; 刘卓军
  收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| 一阶谓词演算定理机器证明的余式方法 期刊论文
2014, 2014
吴尽昭; 刘卓军
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| 用谓词演算式刻画“数学分析”中的几个基本概念 期刊论文
数学学习与研究, 2010, 期号: 17, 页码: 94
作者: 韩光辉[1]
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/21
|
| 思想与真--弗雷格逻辑哲学研究 学位论文
: 河北大学, 2010
作者: 解京[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/21
|
| 基于一阶谓词和范畴论的形状与形状型 期刊论文
河北大学学报（自然科学版）, 2010, 卷号: 30, 期号: 3, 页码: 323-326
作者: 卢素魁[1]
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/21
|
| 基于APC的次协调自动推理系统的设计与实现 期刊论文
计算机工程与设计, 2007
作者: 朱三元; 朱福喜
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 次协调逻辑与自动推理 学位论文
2004
作者: 朱三元
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 一阶谓词演算自然演绎型直觉主义系统NDPI 期刊论文
河北大学学报(自然科学版), 2003, 卷号: 23, 期号: 4, 页码: 422-424
作者: 刘大中[1]; 董克诚[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 一阶形式系统K*及其完备性 期刊论文
数学年刊A辑, 2002, 期号: 6, 页码: 675-684
-
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/07
|
| 数理逻辑数学刍议——兼谈我国高校文科应设置数理逻辑基础课 会议论文
作者: 张燕京[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
