词典
例句
en
zh-CN
hide
简体中文
automatic test system
automatic testing
automatic testing equipment
automatic text
automatic theorem proving
automatic thermohygrograph
automatic thermoregulation
automatic thermostat
automatic thickness gauge
参考
Google
Google Pictures
Wikipedia
Wiktionary
EN↔CN 海词
DE↔EN Linguee
EN→DE Collins
DE↔EN LEO
DE↔EN Langenscheidt
DE↔EN PONS
DE↔EN Beolingus
DE↔EN dict.cc
automatic theorem proving
➞
automatic theorem proving
Definitions
[1]
[计]
自动定理证明
哈罗摩托-百万摩友的摩托车之家！
🎥 Insta360 One R 多镜头运动相机，德国包邮
zh-CN
简体中文
de
Deutsch
en
English
automatic theorem proving