＞数理逻辑与数学基础＞模型论＞释义 definability 可定义性 definability 可定义性†
理论计算机科学 可计算性与计算复杂性 释文 definability 可定义性
- symbolic model
- symbolic notation
- symbolic penalty
- Symbolic Photography
- symbolic power
- symbolic programming
- symbolic space
- symbolic sparse matrix
- symbolic speech
- symbolic system
- symbolic theatre
- symbolic transfer entropy
- symbolism
- symbolism of clothing
- symbolism, school of
- symbolist aesthetics
- symbolization
- symbolization control table
- Symbolize
- symbol learning theory
- symbol manipulation language
- symbol map
- symbol media
- symbol module
- symbol O