英语词汇mechanical theorem proving是什么意思，mechanical theorem proving的用法、释义、翻译、读音、例句、短语词组-英汉汉英翻译词典

单词	mechanical theorem proving
释义	mechanical theorem proving　【计】机器证明
随便看	tape vertical pulse tape weave tape winder tape worm tape wound resistor tape-check tape-controlled carriage tape-limited tape-loop storage tape-on surface-temperature resistor tape-path center line tape-processing simultaneity tape-record tape-record tape-record tape-recorded tape-recorded tape-recorder tape-recorder tape-recorder tape-recording tape-recording tape-speed errors tape-speed variations tape-to-card conversion

英汉汉英翻译词典包含1679246条英汉翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习及翻译工作的有利工具。