📚 自动充放电技术资料

📦 资源总数:6378
💻 源代码:10401

🔥 自动充放电热门资料

查看全部6378个资源 »

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

📅 👤 GavinNeko

💻 自动充放电源代码

查看更多 »
📂 自动充放电资料分类