vt. axiomatize
... 公理的 axiomatical 公理化 axiomatization; axiomatize 公理会 (基督教新教主要派别之一) congregational church ...
基于2个网页-相关网页
... 公理法 axiomatic approach; axiomatic method 公理化 axiomatization; axiomatize 公理会 (基督教新教主要派别之一) congregational church ...
基于1个网页-相关网页
公理化方法 axiomatic method ; Axiomatic Approach
公理化语义 axiomatic semantics
公理化场论 [高能] axiomatic field theory
公理化设计 Axiomatic design
公理化理论 axiomatic theories
公理化量子理论 axiomatic quantum theory
公理化设计理论 axiomatic design ; Axiomatic Design Theory ; ADT
公理化集合论 axiomatic set theory
公理化定义 [数] axiomatic definition
About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
参考来源 - Java语言的异常处理机制的公理语义·2,447,543篇论文数据，部分数据来源于NoteExpress
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
The product CAD modeling and implementing technology based on the Axiomatic Design and knowledge driven are put forward.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
应用推荐