📚 重复学习技术资料

📦 资源总数：28015
💻 源代码：16824
🔌 电路图：1

🔥 重复学习热门资料

查看全部28015个资源 »

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

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

💻 重复学习源代码

查看更多 »
💻
汇009.txt
💻
help_studinput.txt
💻
help_studinput.txt
💻
第n次重复.txt
💻
ado.net学习记录 (一).txt
💻
在sql中删除重复记录(多种方法).txt
📂 重复学习资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 🔌 电路图 原理图PCB布局 📚 全部资料 28015 个资源