|
已选(0)清除
条数/页： 排序方式：
|
| 带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 学位论文
硕士, 北京: 中国科学院大学, 2019
作者: 高冲
  收藏 | 浏览/下载：22/0 | 提交时间：2019/06/17
|
| 面向知识库问答的语义表示与计算关键技术研究 学位论文
中国科学院自动化研究所: 中国科学院自动化研究所, 2018
作者: 郝彦超
收藏 | 浏览/下载：129/0 | 提交时间：2019/01/15
|
| 一种基于谓词逻辑的规范重构表示方法 专利
申请日期: 2018-01-01, 公开日期: 2018-08-17
作者: 赵钦; 赵雅倩; 余梁蜀; 黑新宏; 朱磊
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/20 |
| 面向非结构化文本的事件识别关键技术研究 学位论文
北京: 中国科学院大学, 2017
作者: 刘树林
收藏 | 浏览/下载：48/0 | 提交时间：2017/06/06
|
| 带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具实现 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 古新才
收藏 | 浏览/下载：10/0 | 提交时间：2017/07/08 |
| 直觉模糊逻辑的（α，β）-线性归结方法研究 学位论文
: 辽宁师范大学, 2017
作者: 李晓楠
收藏 | 浏览/下载：3/0 | 提交时间：2019/03/01
|
| 英语复合宾语结构与双宾语结构辨析——谓词逻辑的视角 期刊论文
2017, 卷号: 0, 期号: 37, 页码: 226-226
作者: 蓝一钧
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/09
|
| 现代汉语集合性谓词句的形式语义研究 学位论文
2016, 2016
赵渟婷
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/20
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 对称离散事件系统状态树结构模型的控制函数不变性研究 期刊论文
西安交通大学学报, 2016
作者: 焦亭; 甘永梅; 肖国春
收藏 | 浏览/下载：2/0 | 提交时间：2019/11/26
|
