单词乎
首页 - 英汉词典 - A字开头的单词或词组 - automatic theorem proving
英语解释

automatic theorem proving

汉语翻译

【计】 自动定理证明
0
纠错
为您推荐
attractactoradmitAVappeal toambitiousarchivesadmissionapocalypseastronautallyaxiom
猜你喜欢
bismuth iodosubagllateguaiacinvertical format unitnormalized signalansweredhydroxisoxazolepillaupillaufolliculi oophorus vesiculosussubscription callcristae galliteapot
应用推荐