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

网站首页词典首页

单词	theorem proving
释义	theorem proving1.■【人工智能】定理验证，定理证明
随便看	sonic navigation sonic nucleation sonic pump sonic radiation sonics sonic sifter sonic sounding sonic spark chamber sonic speed sonic thermometer sonic wall sonic well logging sonifer soniferous Sonifier son-in-law sonless sonlike sonly Sonnar lens Sonne dysentery Sonnenfeldt doctrine Sonnenschein's reagent Sonneratiaceae sonnet 一向沈吟久平生秉周礼，投老奉龙旗平章要风月，幡然适千里奚囊莫怪新篇少，应接山川不暇诗心在数县间，瞻言日悄悄十年游客路多岐，玉面虬髯是所思一朝失此利，岂饱盐与荠十年甘苦客，从我宜如由俱是年家情不浅，依兰应许丐香浓闲随白鸥去，沙上自为群用谈笑青油幕为韵贺吴叔永制机秋吟和张均题峡山次韵子由召伯埭见别三首马上口占呈立之鸳鸯梅孤雁句教授颜端行出示所和老杜曲江章因次韵池州萧丞相楼二首东方汇理银行竦敬镌诘纤条当局者迷，旁观者清绍述密文基调烈火见真金玄燕祘笇痠蒜筭酸算匴夊亗膤樮幥錒僾皚躷鞌墺嶴见善若惊假眉三道极深研幾饥驱叩门酒后茶余久客思归倦翼知还饥渴交迫急景雕年监门之养兵少将微骄生惯养初度之辰公转市廛一人之交今天不日戴头识脸邦畿不为已甚小姑无郎朱家山屯田客根蟠节错下寨镇文章四友兴尽意阑披肝露胆双洎河离魂女鞭的成语_带鞭字的成语_鞭的成语有哪些热的成语_带热字的成语_热的成语有哪些梢结尾的成语_最后一个字是梢的成语秽的成语_带秽字的成语_秽的成语有哪些残的成语_带残字的成语_残的成语有哪些哒组词_哒字怎么组词_哒组词有哪些_带哒字的词语魂结尾的成语_最后一个字是魂的成语玄组词_玄字怎么组词_玄组词有哪些_带玄字的词语责结尾的成语_最后一个字是责的成语综的成语_带综字的成语_综的成语有哪些