说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化证明方法
1)  formal proof method
形式化证明方法
2)  Formal logics
形式化证明
3)  formal specification and verification
形式化描述与验证方法
例句>>
4)  proof-methods of inequalities
不等式证明方法
5)  formal proof
形式化的证明
6)  Formal proof
形式证明
例句>>
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条