1) presupposition about formalized conditions
形式化条件预设
3) Formal software design
形式化软件设计
4) Condition on the surface
形式条件
5) modes and conditions
形式和条件
6) chemical pretreatment condition
化学预处理条件
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条