自动证明法的意思

zì dòng zhèng míng fǎ

自动证明法

拼音zì dòng zhèng míng fǎ

拼音字母zi dong zheng ming fa

拼音首字母zdzmf

百科含义

自动证明法(automatic proving method)一种证明方法.是可以在计算机上完成定理证明全部工作的方法.

词语组词

相关词语