theorem proving machine是什么意思_theorem proving machine的中文意思

theorem proving machine的中文意思

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

定理证明机

相似短语

相似单词

theorem proving 定理证明
proving [ prove ]的现在分词
theorem n.【术语】（尤指数学）定理
konigs'theorem 【计】科尼希定理
machine n. [C] 1.机器；机械 2.计算机 3.汽车；自行车；飞机 4.机构；操纵组织的核心集团 5.机器人似地工作的人；没有感情或意志的人 v. [T] 1.用机器做 2（使用工具）
machine gunner [ machine-gun ]的相关名词
washing machine n.洗衣机
knitting machine 编织机
mulching machine 表土疏松机
paddling machine 捣麻机

学习推荐