计算机术语“automatic theorem proving”的中英文意思、释义、翻译及用法-计算机英汉双解词典-临旅网

字词	automatic theorem proving
释义	automatic theorem proving 自动定理证明
随便看	计算机FIST是什么意思计算机fit是什么意思计算机FITA是什么意思计算机Fit Both是什么意思计算机FITGO是什么意思计算机FITPLA是什么意思计算机fit selection system是什么意思计算机fitted model是什么意思计算机fit test rule是什么意思计算机fitting是什么意思计算机fitting criterion是什么意思计算机Fit To Page是什么意思计算机FIU是什么意思计算机five bit byte是什么意思计算机five bit code是什么意思计算机five-coloring graph是什么意思计算机five color protocol是什么意思计算机five-colour theorem是什么意思计算机five figure system是什么意思计算机five hole punched tape是什么意思计算机five-in-a-row是什么意思计算机five level是什么意思计算机five level code是什么意思计算机five level start-stop operation是什么意思计算机five partition support是什么意思

计算机英汉双解词典包含84405条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。