|
已选(0)清除
条数/页： 排序方式：
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
  收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 汉语词典义的语义理解研究 学位论文
工学博士, 北京: 中国科学院研究生院, 2015
作者: 赵美静
收藏 | 浏览/下载：85/0 | 提交时间：2016/04/25
|
| 余式方法中的线性策略以及语义策略和锁策略 期刊论文
2015, 2015
吴尽昭; 刘卓军
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| 一阶谓词演算定理机器证明的余式方法 期刊论文
2014, 2014
吴尽昭; 刘卓军
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| 组合优化问题简约与算法推演 期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风
收藏 | 浏览/下载：13/0 | 提交时间：2013/10/08
|
| 用谓词演算式刻画“数学分析”中的几个基本概念 期刊论文
数学学习与研究, 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
|
| 带参并发系统的模型检测 学位论文
硕士, 中科院软件所: 中科院研究生院, 2009
-
收藏 | 浏览/下载：12/0 | 提交时间：2009/06/11
|
