theorem proving technique定理: theorem证明: prove; testify; bear out技术: technology; skill; technique ...定理证明: theorem proving定理证明机: theorem proving machine下载手机词典可随时随地查词查翻译
