Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...
逻辑优化技术资料
📦 资源总数：6183
💻 源代码：6889
🔥 逻辑优化热门资料
查看全部6183个资源 »优化过得RC4加密解密原代码
优化过得RC4加密解密原代码，有向研究加密算法的朋友可以下载研究研究...
优化代码
优化代码，在i386体系结构上，从c＋＋到汇编...
图书馆管理系统,是数据库的课程设计,报告里面包含了需求分析数据字典概念结构设计逻辑结构设计数据库物理设计数据库实施
图书馆管理系统,是数据库的课程设计,报告里面包含了需求分析\数据字典\概念结构设计\逻辑结构设计\数据库物理设计\数据库实施...
介绍blackfin处理器优化的在线教学文档
介绍blackfin处理器优化的在线教学文档...
💻 逻辑优化源代码
查看更多 »📂 逻辑优化资料分类