|
已选(0)清除
条数/页： 排序方式：
|
| 基于反例制导抽象精化的安全性验证 学位论文
博士, 北京: 中国科学院研究生院, 2016
王伟锋
  收藏 | 浏览/下载：23/0 | 提交时间：2016/05/31
|
| 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究 学位论文
2012, 2011
李慧琪
收藏 | 浏览/下载：6/0 | 提交时间：2016/02/14
|
| 一个在Horn子句中求解极大缩减的算法 期刊论文
中国科学:信息科学, 2011, 页码: 129-143
作者: 罗杰; 李未
收藏 | 浏览/下载：5/0 | 提交时间：2020/01/06
|
| Horn-Extended DL的Tableau算法研究 期刊论文
2010, 2010
肖岚; 郑力; 肖建; 黄毅; XIAO Lan; ZHENG Li; XIAO Jian; HUANG Yi
收藏 | 浏览/下载：4/0 |
| 复合数字对象及版权保护权利推理机制研究 期刊论文
2010, 2010
郭迎九; 林闯; 尹浩; GUO Ying-jiu; LIN Chuang; YIN Hao
收藏 | 浏览/下载：5/0 |
| 语义Web的逻辑基础 期刊论文
模式识别与人工智能, 2005
梅婧; 刘升平; 林作铨
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| Horn子句逻辑程序的Petri网模型 期刊论文
1990, 期号: 3, 页码: 7
作者: 徐志农
收藏 | 浏览/下载：0/0 | 提交时间：2019/12/23
|
| 非Horn子句在PROLOG中的表示与处理 期刊论文
1988, 页码: 124-126
作者: 沈一栋[1]; 童頫[1]
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/30 |
| 模块化PROLOG语言的设计与实现 期刊论文
计算机科学, 1988
张建平
收藏 | 浏览/下载：0/0 | 提交时间：2015/11/10
|
| 逻辑程序中的控制策略及其表示 期刊论文
北京大学学报 自然科学版, 1988
张乃孝; 侯世君
收藏 | 浏览/下载：4/0 | 提交时间：2015/10/23
|
