G(o)del语言相关论文
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
文章以一种新型的逻辑程序设计语言--G(o)del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨......
G(o)del语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言.本文基于类型一阶谓词逻辑的模型论,阐明了G(o)del语言的说......
