公理证明
英语翻译
axiomatic proof
拓展翻译
公理证明规则
axiomatic proof rule
归结定理证明
resolution theorem proving
公理
axiom; generally acknowledged truth
Armstrong
公理的
a priori
公理法
axiomatic approach
公理方法
axiomatic method
公理和强权
right and might
公理化
axiomation; axiomatization; axiomatize
公理化模型
axiomatic model
公理基础
axiomatic basis
公理理论
axiomatic theory
公理描述
axiomatic specification
公理上
in equity
公理说明
axiomatic specification
公理系统
Armstrong axiomatic Arms-trong; axiomatic system
公理语义学
axiomatic semantics
公理语义学方法
axiomatic semantics approach
构造性公理
constructivity axiom
归纳公理
axiom of induction
工厂检查证明书
work's inspection certificate
