文件名称:1
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
自动定理形式推演,数理逻辑中常常用到的公式推理。-Automated Theorem form of deduction, mathematical logic reasoning is often used in the formula.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
t-1.cpp
t-1.exe
t-1.exe