|
已选(0)清除
条数/页： 排序方式：
|
| 带否定算子的兰贝克演算研究 期刊论文
逻辑学研究, 2018, 期号: 03, 页码: 34-43
作者: 林哲; 梁飞
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/11
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 汉语词典义的语义理解研究 学位论文
工学博士, 北京: 中国科学院研究生院, 2015
作者: 赵美静
收藏 | 浏览/下载：87/0 | 提交时间：2016/04/25
|
| 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算 期刊论文
2014, 2014
吴尽昭; 侯晖; 李绍荣
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| R_0代数的极大缩减及公式真度的范式表示 学位论文
2014
作者: 何乃娟
收藏 | 浏览/下载：12/0 | 提交时间：2020/11/05
|
| 概念逻辑:一个切中语言肯綮的逻辑学理论——读《思维的演算》有感 期刊论文
衡阳师范学院学报, 2013, 期号: 02, 页码: 177
作者: 李振中
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/24 |
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| 带参的相继式演算 学位论文
硕士, 北京: 中国科学院研究生院, 2012
纪开亮
收藏 | 浏览/下载：9/0 | 提交时间：2012/06/01
|
| R演算--科学发现的逻辑 期刊论文
计算机教育, 2012, 页码: 5-12
作者: 李未
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
