|
已选(0)清除
条数/页： 排序方式：
|
| Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. 期刊论文
Computer Languages, Systems & Structures, 2018, 卷号: Vol.51, 页码: 102-117
作者: Abreu,Salvador; Nogatz,Falco; Seipel,Dietmar
  收藏 | 浏览/下载：6/0 | 提交时间：2019/12/24
|
| C++与Prolog双向数据交换实现混合控制架构下机器人任务规划 期刊论文
计算机应用, 2015, 页码: 203-205+225
作者: 武桂鑫[1]; 许烁[2]
收藏 | 浏览/下载：3/0 | 提交时间：2019/04/26
|
| 语义TABLEAU定理证明器的PROLOG实现 期刊论文
科技视界, 2015, 卷号: 第9期, 页码: 9-11
作者: 高华; 江建国; 苏贺靓
收藏 | 浏览/下载：2/0 | 提交时间：2019/03/07
|
| Bidirectional data exchange between C++ and prolog for robot task planning in the hybrid control architecture 会议论文
4th International Workshop of Advanced Manufacturing and Automation, IWAMA 2014, 2014-10-27
作者: Wu, Gui Xin[1]; Xu, Shuo[2]; Tu, Da Wei[4]
收藏 | 浏览/下载：7/0 | 提交时间：2019/04/30 |
| An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems 期刊论文
CHINESE JOURNAL OF AERONAUTICS, 2014, 卷号: 27, 页码: 1571-1577
作者: Li Guoqi; Shao Yuanxun; Hong Sheng; Liu Bin
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/06
|
| 基于模糊Petri网电离层探测仪故障诊断 学位论文
2013
作者: 谢存
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 宇航难加工材料切削加工专家系统 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=HKGJ405.010&dbname=CJFQ1994, 2012, 2012
苑伟政，杨玉起
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| PROLOG系统的Pascal实现 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JFYZ198604006&dbname=CJFQ1986, 2012, 2012
王鼎兴; 濮群; 徐凤家; 杨士强
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/15
|
| Gödel语言操作语义描述方法研究 学位论文
2012, 2012
曹炳义
收藏 | 浏览/下载：3/0 | 提交时间：2016/02/14
|
| 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究 学位论文
2012, 2011
李慧琪
收藏 | 浏览/下载：5/0 | 提交时间：2016/02/14
|
