📚 逻辑简化技术资料

📦 资源总数：3456
💻 源代码：4289

🔥 逻辑简化热门资料

查看全部3456个资源 »

程序设计规范简化版，武行大学电子信息学院光谱图象组程序设计手册，参照林锐博士的《高质量C++编程指南》修订而成，有参考价值...

📅 👤 invtnewer
程序 设计规范

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。...

📅 👤 GavinNeko
自动 机器学习 推理机 程序

💻 逻辑简化源代码

查看更多 »
💻
进书逻辑.txt
💻
退书逻辑.txt
💻
库存书维护逻辑.txt
💻
发书逻辑.txt
💻
毕业设计数字逻辑电子仿真器.plg
💻
毕业设计数字逻辑电子仿真器.plg
📂 逻辑简化资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 3456 个资源