automatic theorem proving

词典收录

美式发音

英式发音

单词级别

高级

英文单词：	automatic theorem proving
中文翻译：	[计] 自动定理证明

词汇解析

[计] 自动定理证明

automatic theorem proving 的常见用法：

1

automatic theorem provings

2

automatic theorem provinging

3

automatic theorem proving of

词汇小提示：了解单词的常见搭配有助于更准确地使用单词。

adventure amazing apple attack

词汇提示：掌握同一字母开头的单词有助于扩大词汇量