axiomatization

　
英 [æksiəmətaɪ'zeɪʃn] 　 　 美 [æksiəmətaɪ'zeɪʃn] 　 　
  • 公理化

axiomatization的用法和樣例：

例句

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

axiomatization的相關資料：

臨近單詞

axiom axioms
以上內容獨家創作，受著作權保護，侵權必究

今日熱詞
相關詞典網站：

牛津高階第八版

美國韋氏詞典

Dictionary.com

Free Dictionary

維基百科 (自由的百科全書)

目錄 附錄 查詞歷史