自动定理证明Automated Theorem Proving

【文件属性】：

文件名称：自动定理证明Automated Theorem Proving

文件大小：107B

文件格式：TXT

更新时间：2022-12-05 11:19:33

计算机科学

使学生对自动定理证明中的核心技术有透彻的了解，使他们能够将方法转移到不同的逻辑或应用程序中。