自动定理证明Automated Theorem Proving 时间:2022-12-05 11:19:33 【文件属性】: 文件名称:自动定理证明Automated Theorem Proving 文件大小:107B 文件格式:TXT 更新时间:2022-12-05 11:19:33 计算机科学 使学生对自动定理证明中的核心技术有透彻的了解,使他们能够将方法转移到不同的逻辑或应用程序中。 立即下载