mechanical theory proving的意思|示意
美 / miˈkænikəl ˈθiəri ˈpru:viŋ /
英 / mɪˈkænɪkəl ˈθiəri ˈpruvɪŋ /
[计] 机器理论证明