2) hybrid verification
半形式化方法
4) Half Formal Language
半形式化语言
5) negative semidefinite form
半负定形式
6) semi-finite form
半有限形式
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条