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

网站首页词典首页

单词	theorem proving
释义	theorem proving1.■【人工智能】定理验证，定理证明
随便看	aesthophysiology aestidurilignosa aestilignosa aestival aestivate aestivation aestivator aet., aetat. aetatis aetatissuae aethalium Aethelbert AethelredⅡ Aethelstan Aethelwulf aether aethereal Aethiopian aethon aetio- aetiologic, aetiological aetiologically aetiology Aetna Aetolia 后夜霜月明，尚可理前约自书细字答边臣，万里风尘入长算有底金千锊，无何酒一杯绣衾香冷懒重薰剖符看令子，曳绶及诸孙寂然不动感而通，凭刚烈请郡东南促去程，提堤江水照红旌弟昆清净妍，俱当籍金闺何日招舟子，寒江北渡归举杯香露洗惠应庙宿猿洞句句奉和咏日午贺仲雨斗门再经南阳如梦令（建康作）句赠乌龙山圆上人托讽姑妄言之老骨头老杜老驾滚绣球钻版逼剥靖言传叶孃釀乜帇圼苶枿陧涅聂揅椼楌煙硽詽鳫慃敭暘不堪入目杯盘狼藉白圭之玷博大精深兵荒马乱半途而废抱残守缺比翼双飞班门弄斧冰天雪地切身前呼后拥弃械投降勤学清廉惹人润湿任人唯贤蠕动弱不禁风汪睿十三刺史部五武将军揎拳裸袖苦竹港苦海无边苦中作乐苦口良言苦不堪言苦兀染开头的成语_第一字是染的成语有哪些謡组词_謡字怎么组词_謡组词有哪些_带謡字的词语崽组词_崽字怎么组词_崽组词有哪些_带崽字的词语折的成语_带折字的成语_折的成语有哪些雀的成语_带雀字的成语_雀的成语有哪些鹿的成语_带鹿字的成语_鹿的成语有哪些久的成语_带久字的成语_久的成语有哪些饥开头的成语_第一字是饥的成语有哪些揉结尾的成语_最后一个字是揉的成语鹦组词_鹦字怎么组词_鹦组词有哪些_带鹦字的词语