＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- intermiscibility
- intermission
- intermittence
- intermittency
- intermittency chaos
- intermittency effect
- intermittent
- intermittent claudication
- intermittent discharge overvoltage
- intermittent error
- intermittent explosive disorder
- intermittent flow
- intermittent headache
- intermittent heat and coldness
- intermittent motion mechanism
- intermittent peritoneal dialysis，IPD
- intermittent process control
- intermittent region
- intermittent reinforcement
- intermittent structure
- intermittent time series design
- intermix
- intermixture
- intermodal dispersion
- intermodal freight transportation hub