＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- Huckel method
- Huckel methods
- Huckel molecular orbital method
- Huckel molecular orbital theory
- Huckel's rule
- Hu Dahai
- Hu Dao
- Hu Daojing
- Hudde
- Hu Dengzhou
- HUDF
- Hu Di
- Hudiao opera
- Hudibras
- Hu Die
- Hudie Quan
- Hu dress
- Hudson Bay
- Hudson Canyon
- Hudson River
- Hudson River School
- Hudson's Bay Company Archival Records
- Hudson Strait
- Hudson’s Bay Company
- Hu Du