英语单词“theorem proving”的翻译、意思、用法、释义-英汉词典-职场范文网

网站首页词典首页

单词	theorem proving
释义	theorem proving1.■【人工智能】定理验证，定理证明
随便看	ethical Ethical Culturalist Ethical Culture ethic(al) dative ethical drug ethic(al) genitive ethical hacker ethical investment ethical relativism ethicals ethical truth ethician ethicise ethicist, ethician ethicize ethico- ethics ethidene, ethidine ethidium(bromide) ethidium bromide ethinamate ethine ethinyl ethiolate ethion 自恋香林不归去，前生恐是住山僧君方年盛才有余，逸骥宁容在羁馽客行一夜秋风起，客梦南游渡湘水曾去玄洲看种玉，那似君家满庭竹顺治建萧宫，虔心礼昊穹湛而不浑，妙而长存竹宫需贤才，师命促共理山多曾战处，路断野行人俱从四方事，共会九秋中士诚有所挟，光彩终不磨渡湘水冬至之二日兄弟儿侄偕过西山道院归而微雪和江邻几送文丞相还游普安院清源郡人为薛昱歌（题从《古谣谚》卷二七）浣溪沙赋筝南苑双柳树复枯其一叠韵志感西海捕鱼泛月二首·其一雪中偶成邵旸叔用寒字韵作诗见贻复次韵答之利捷软骨农醒心人情物理楼堡衒女清室宝饵商中商雒约抈妜岄礿泧玥岳約恱藐朦貘邈檬懋篾嬷麋縻分星拨两分身无术分守要津水能载舟，亦能覆舟妇孺皆知黼衣方领连类龙鸾驱雷策电神智不清九品莲台足智多谋早自馁造福自大制服镇定整体主体抓紧王神念汉祖风巴里坤易中歌尼满不幸之幸源祠水燕京山北院右中丞应侯浪结尾的成语_最后一个字是浪的成语方开头的成语_第一字是方的成语有哪些典字组词，典的组词，带典字的成语蒻组词_蒻字怎么组词_蒻组词有哪些_带蒻字的词语验结尾的成语_最后一个字是验的成语訚组词_訚字怎么组词_訚组词有哪些_带訚字的词语刿的成语_带刿字的成语_刿的成语有哪些陷开头的成语_第一字是陷的成语有哪些鸣开头的成语_第一字是鸣的成语有哪些奢的成语_带奢字的成语_奢的成语有哪些