公理化
The process of axiomatization of vector theory is also studied. 另外還簡單介紹了向量的公理化過程。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 這些貢獻(xiàn)包括編程語言和數(shù)據(jù)類型的公理化，形式驗(yàn)證，形式規(guī)約與分析。
