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

单词	automatic theorem proving
释义	automatic theorem proving [计] 自动定理证明
随便看	self testing self-testing and repair self-testing-and-repairing computer self-testing cartridge self-testing circuit self-testing factor self-testing microprogrammed control unit self-testing modem self-testings self test mode self-test program self-test relay self test relay self-tests self-texturing yarn self therapy self-therapy self-thermostat self-thinking self-thinning self thinning selfthinning self-thinning rule self-threading self-threading cartridge 踚踜踝踞踟踠踢踣踤踥尔馨尕尖尖儿尖兵尖冷尖刀尖利尖刻尖劈