英语词汇“mechanical theorem proving”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	mechanical theorem proving
释义	mechanical theorem proving [计] 机器证明
随便看	black ore black ore (kuroko) black-or-white blackout black out black-out black ... out black-out amplifier blackout area blackout building blackout cake blackout cakes black-out cloth blackout curtain blackout dial blackout effect black-out effect blackout headlamp blackout lamp black-out lamp blackout lamps blackout light black-out of flyback black-out paint blackout paint 锲臂饮清血，牛羊持祭天。没命成灰土，终不罢相怜。镂冰为璧，不可得而用也；画地为饼，不可得而食之镂月为歌扇，裁云作舞衣。镂月为歌扇，裁云作舞衣。自怜回雪影，好取洛川归镂月成歌扇，裁云作舞衣。自怜回雪影，好取洛川归。镂玉梳斜云鬓腻，缕金衣透雪肌香，暗思何事立残阳。镂骨铭心，没齿难泯镇台子镇定自若，对答如流镇日无心扫黛眉，临行愁见理征衣。尊前只恐伤郎意，阁泪汪汪不敢垂。正賞正道正邪正金正門正閏正面正面正面きって正面キッテ