军事想定定义语言
asymmetric hydrosilylation
代数规划语言
algebraic programming language
广义语义C-HS规则
genralized semantic C-HS rule
广义语义C-MP规则
generalized semantic C-MP rule
广义语义HS规则
generalized semantic MP rule
generalized semantic HS rule
广义语义MP规则
generalized semantic HS rule
generalized semantic MP rule
系统规划语言
system programming language
递归定义领域
recursive definition of domain
递归领域定义
recursive domain definition