用户可定义的彩色查寻表
user-definable color lookup table
可扩展标记语言的过程定义语言
XML process definition language
λ可定义函数
definable function
lambda-definable function
存在可定义集
existential definable set
可定义主同余
definable principal congruence
限定的可维护性检验
QMI Qualification Maintainability Inspection