理论计算机科学 程序理论 释文 hybrid semantics 混合语义
- constructiveness
- constructive non-denumerability
- constructive object
- constructive operator
- constructive operator theory
- constructive ordinal
- constructive ordinal number
- constructive process
- constructive programming
- constructive proof
- constructive propositional calculus
- constructive propositional logic
- constructive quantum field theory
- constructive real number
- constructive rule
- constructive selection principle
- constructive semantics
- constructive sequence
- constructive solid geometry
- constructive solid geometry, CSG
- constructive species
- constructive system
- constructive theorem
- constructive theory of functions
- constructive total loss