文件名称：计算机科学逻辑-自动定理证明的基础Logic For Computer Science - Foundations of Automatic Theorem Proving
文件大小：104B
文件格式：TXT
更新时间：2022-12-05 11:15:00
计算机科学
数学逻辑入门，着重于证明理论和算法上构造公式的形式证明的过程。
计算机科学逻辑-自动定理证明的基础Logic For Computer Science - Foundations of Automatic Theorem Proving
【文件属性】：