首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑

资 源 简 介

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

  • 伟国 3小时前 成为了本站会员

  • songy 5小时前 成为了本站会员

  • 纯色幽默 6小时前 成为了本站会员

  • odd? 8小时前 成为了本站会员

  • 52JOY... 14小时前 成为了本站会员

  • Sirius 1天前 成为了本站会员

  • 1天前 成为了本站会员

  • 额ヽ(  ̄д ̄;)ノ 1天前 成为了本站会员

  • xxx 2天前 成为了本站会员

0.217897s