theorem-proving的意思|示意
美 / /
英 / /
定理证明
theorem-proving的网络常见释义
定理证明 theorem-proving(定理证明), 此释义来源于网络辞典。
theorem-proving相关短语
1、 theorem proving 外的定理证实 ; 理验证 ; 定理验证
2、 automated theorem proving 自动定理证明 ; 证明 ; 定理机器证明 ; 证实
3、 Automatic Theorem Proving 自动定理证明 ; 自动定理证明英语