＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- radio occultation
- radio outburst
- radio-over-fiber communication system
- radio over fiber (RoF) systems
- radio over fiber systems
- radiopacity
- radio paging system
- radiophare
- radiopharmaceutical
- radiopharmaceutical chemistry
- radiopharmaceutical kits
- radiopharmaceuticals
- radiopharmaceutical therapy
- radiopharmacy
- radio phase navigation
- radio phone
- radiophoto
- radiophotography
- radiophotoluminescence
- radio-photoluminescence dosimeter
- radio photon
- radio photosphere
- radiophotostimulation
- radio physics
- radio picture