resolution theorem-proving解析: analysis; resolution; analyz ...定理: theorem证明: prove; testify; bear out定理证明: theorem proving定理证明机: theorem proving machine下载手机词典可随时随地查词查翻译
