automatic theorem proving是什么意思
以下内容是automatic theorem proving的意思。
英文：
automatic theorem proving
中文意思：
【计】
自动定理证明
【wjccx.com英汉词典】为您提供automatic theorem proving的中文翻译。
automatic theorem proving是什么意思共有 135 查询热度。
相关翻译：
- zygomatico-auricularis是什么意思
- zygomatico-auricular indices是什么意思
- zoster auricularis是什么意思
- zestocausis是什么意思
- zinc caustic是什么意思
- zestocautery是什么意思
- yeast autolysate culture-medium是什么意思
- X-ray fault detector是什么意思
- xanthochromic jaundice是什么意思
- written authorization是什么意思
- written authorization containing payment orders是什么意思
- work-caused disability是什么意思