first-order theorem prover的意思|示意
美 / /
英 / /
一阶定理证明
first-order theorem prover的网络常见释义
一阶定理证明器 ... 自动定理证明 automated theorem proving; automatic theorem proving 一阶定理证明器 first-order theorem prover 归结定理证明消解式定理证明 resolution theorem proving ...