工资管理系统
payroll management system; payroll system
管理系统
management system; supervising system; supervisory system
光处理系统
optical processing system
广义数据管理系统
generalized data management system
规则管理系统
rule management system
汉字信息处理系统
Chinese InformationPSCHIPS
行政管理工程信息管理系统
AEIMS
公理
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
公理语义学
axiomatic semantics