theorem-proving是什么意思_theorem-proving的中文解释

theorem-proving的中文解释

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

定理证明

相似短语

相似单词

最新单词

beatification的中文意思 n. 授福,受福,列福式
beatific的中文释义 a. 祝福的,幸福的,快乐的
beater是什么意思 n. 打的人,赶出猎物的人,搅拌器
beat-up的中文意思 a. 破旧的
beat的中文翻译及音标 n.[C] 1.打，敲打声，拍子 2.（心脏等的）跳动（声） 3.滴答声，摆动声 4.（太阳等的）照射 5.【物】拍音，差拍 6.巡逻路线，日常行径路线 7.【美】游手好闲的人 8
beastly的中文意思 a. 如兽的,残忍的,令人不愉快的
beastliness是什么意思及音标 n. 兽性
beast是什么意思及用法 n.[C] 1.（与植物相对而言的）动物；（与人相对而言的）兽；野兽；牲畜 2.【喻】畜生，（因其粗野、凶残、蠢笨、污浊、卑劣或无自制而）令人厌憎的人3.【口】糟透的东西；极不堪的境遇 4.[

学习推荐