定理自动证明基础.pdf

大小:2.69 MB

只需: 10 个论坛币  马上下载

Logic For Computer Science Foundations of Automatic Theorem Proving -Jean H. Gallier