automatic theorem proving

网络释义

1.	自动定理证明 ...Machine Learning) 1.3.4 自动定理证明(Automatic Theorem Proving) 1.3.5 分布式人工智能(Distributed Artificial Intelligenc... www.bookschina.com
2.	机械证明定理 proving... ... route-proving flight n. 新航线的试飞 automatic theorem proving 机械证明定理 boiler proving pump 锅炉试验泵 ... www.hujiang.com

释义:

自动定理证明,机械证明定理

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。