automated theorem prover的意思|示意
美 / /
英 / /
自动定理证明器
automated theorem prover的网络常见释义
自动定理证明器 ...fication condition; automated theorem prover; proof checker [gap=130]关键词: 指针程序;指针逻辑;验证条件;自动定理证明器;证明检查器 ...