|
已选(0)清除
条数/页： 排序方式：
|
| Gödel语言操作语义描述方法研究 学位论文
2012, 2012
曹炳义
  收藏 | 浏览/下载：3/0 | 提交时间：2016/02/14
|
| 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究 学位论文
2012, 2011
李慧琪
收藏 | 浏览/下载：5/0 | 提交时间：2016/02/14
|
| Gödel语言编译系统设计 学位论文
2010, 2010
林永鹏
收藏 | 浏览/下载：8/0 | 提交时间：2016/02/14
|
| 逻辑程序设计语言Gödel的形式化过程性语义 学位论文
2009, 2009
昌杰
收藏 | 浏览/下载：4/0 | 提交时间：2016/02/14
|
| 逻辑程序设计语言Gödel的说明性语义 学位论文
2009, 2009
高伟
收藏 | 浏览/下载：2/0 | 提交时间：2016/02/14
|
| A Polymorphic Type System in Logic Programming 其他
2008-01-01
Li Huiqi; Zhao Zhizhuo; 李慧琪; 赵致琢
收藏 | 浏览/下载：3/0 | 提交时间：2015/07/22
|
| Gödel语言程序计算的可视化研究 学位论文
2008, 2008
王良霖
收藏 | 浏览/下载：7/0 | 提交时间：2016/02/14
|
| Gödel语言编译系统的设计与实现 学位论文
2007, 2007
苏剑煌
收藏 | 浏览/下载：4/0 | 提交时间：2016/02/14
|
| Gödel 语言类型系统 期刊论文
2005
王炳波; 赵致琢; 晏松
收藏 | 浏览/下载：3/0 | 提交时间：2011/04/26
|
| Model-theoretical foundation of action and progression 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 4, 页码: 430-438
作者: Tian, QJ; Shi, ZZ
收藏 | 浏览/下载：15/0 | 提交时间：2019/12/10
|
