automated theorem provingautomatic theorem proving自动: voluntarily; of one's own ac ...定理: theorem证明: prove; testify; bear out定理证明: theorem proving定理证明机: theorem proving machine下载手机词典可随时随地查词查翻译
