语言逻辑技术资料

资源总数：10000
源代码：10000

语言逻辑热门资料

查看全部10000个资源 »

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...

BIBI 37 次下载
Goedel 语言 逻辑 程序设计语言

语言逻辑源代码

查看更多 »
codetc23.dat
codetc48b.dat
codetc49b.dat
codetc23b.dat
codetc23.dat
codetc23.dat
语言逻辑资料分类
热门资料 查看最受欢迎的资源 源代码 程序代码与工程文件 全部资料 10000 个资源