📚 谓词技术资料

📦 资源总数：18
💻 源代码：81

🔥 谓词热门资料

查看全部18个资源 »

一阶谓词逻辑，详细讲述一阶谓词逻辑，是现在语义网semanticweb的基础...

👤 sunjet ⬇️ 113 次下载
逻辑

· 摘要：  对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在学院研制的YHFT-DSP?700芯...

👤 zhanglei193 ⬇️ 9 次下载
分配算法

💻 谓词源代码

查看更多 »
💻
公式$谓词.class
💻
谓词逻辑归结原理.pps
💻
谓词公式的解释.pps
💻
专题5谓词逻辑.ppt
💻
用谓词表示知识.pps
💻
一阶谓词逻辑.pdf
📂 谓词资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 18 个资源