📚 逻辑电路设计技术资料

📦 资源总数：52385
💻 源代码：62737

🔥 逻辑电路设计热门资料

查看全部52385个资源 »

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

📅 👤 BIBI
Goedel 语言 逻辑 程序设计语言

💻 逻辑电路设计源代码

查看更多 »
💻
u盘电路设计.prjpcbstructure
💻
计时器电路设计.prjpcbstructure
💻
报警呼叫系统电路设计.rep
💻
报警呼叫系统电路设计.prjpcbstructure
💻
mp3电路设计.prjpcbstructure
💻
isa 10m网卡电路设计.prjpcbstructure
📂 逻辑电路设计资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 52385 个资源