axiomatization

英[æksiəmətaɪ'zeɪʃn] 美[æksiəmətaɪ'zeɪʃn]
  • 公理化
  • axiom n.公理；格言；自明之理
  • standard n.标准；规格；水准；军旗adj.标准的；普通的；规范的；权威的

双语例句

    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.
      这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。

相关词汇

axiom axioms
展开全文

大家正在查

axiomesio-occolusal是什么意思 probabilistically是什么意思 probie是什么意思 Drako是什么意思 axle-load是什么意思 axleload是什么意思 axlebase是什么意思 axle-box是什么意思 axle-base是什么意思 axle-hung是什么意思