automatic theorem proving是什么意思_automatic theorem proving的中文释义_用法

搜索查词

⃠ 请输入要查询的内容

沪江slogan

automatic theorem proving的中文释义

沪江词库精选automatic theorem proving是什么意思、英语单词推荐

机械证明定理

相似短语

automatic theorem proving 机械证明定理
theorem proving 定理证明
mechanical theorem proving 定理的机器证明
resolution theorem proving 【计】归结定理证明
resolution theorem proving 解析定理证明
theorem proving machine 定理证明机
proving road 试车道
proving tank 标定罐
block proving 闭塞检查
correspondence proving 符合检查, 对应检查通信证明

相似单词

theorem proving 定理证明
proving [ prove ]的现在分词
theorem n.【术语】（尤指数学）定理
automatic adj. 1. 自动的 2. 不假思索的；无意识的 3. 必然的；当然的 n. 1. 自动手枪（或步枪） 2. 自动变速汽车；自动换挡汽车 3. 能自动运转的机器或器械
konigs'theorem 【计】科尼希定理
automatic(al) 自动的
semi automatic 半自动的
partial automatic 半自动的
interval automatic 间歇自动
non automatic adj. 用手操作的；手动的

最新单词

猜你喜欢

学习推荐

热门推荐

英语单词排行榜

用英文说单词

英语短语排行榜