＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- C-table
- CTA切伦科夫望远镜阵
- CTC
- CT contrast medium
- CTCS-2 train control system
- CTCS-2级列车运行控制系统
- CTCS-3 train control system
- CTCS-3级列车运行控制系统
- C. T. C. Wall
- C. T. C. Wall (1936—)
- CTD
- ctDNA
- CTDUT Pipeline Technology Center
- CTDUT管道技术中心
- ctenidium
- Ctenopharyngodon idella
- CTEPH
- C terminal
- C-terminal
- C-terminus
- Ctesiphon
- CTF
- CTFE
- CTG
- CTH