英语翻译
axiomatic specification
拓展翻译
公理
axiom; generally acknowledged truth
Armstrong
公理的
a priori
公理法
axiomatic approach
公理方法
axiomatic method
公理和强权
right and might
公理化
axiomation; axiomatization; axiomatize
公理化模型
axiomatic model
公理基础
axiomatic basis
公理理论
axiomatic theory
公理上
in equity
公理说明
axiomatic specification
公理系统
Armstrong axiomatic Arms-trong; axiomatic system
公理语义学
axiomatic semantics
公理语义学方法
axiomatic semantics approach
公理证明
axiomatic proof
公理证明规则
axiomatic proof rule
构造性公理
constructivity axiom
归纳公理
axiom of induction
高斯描述函数
gaussian describing function
格式描述语句
format description statement