theorem machine prove中文翻译

theorem machine prove

中文翻译

定理机器证明

相关单词

theorem
读音：['θiәrәm]
n.定理，原理
定理
定理

machine
读音：[mә'ʃi:n]
n.机器，机械装置，机构，自动售货机，机械般工作的人
vt.以机器制造
机械；机器
机，机器
机械，机器

prove
读音：[pru:v]
vt.证明，查验，检验，勘探，显示
vi.证明是
证实