＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- stylus printer
- S-type asteroid
- S-type granite
- S type lectin
- S-type lectin
- S-type star
- styrene
- styrene butadiene rubber
- styrene-butadiene rubber
- styrene-butadiene rubber (SBR)
- styrene butadiene styrene block copolymer
- styrene butadiene styrene block copolymer (SBS)
- styrene isoprene butadiene rubber
- styrene isoprene butadiene rubber (SIBR)
- styrene isoprene styrene block copolymer
- styrene isoprene styrene block copolymer (SIS)
- styrene-maleic anhydride copolymer
- styrene poisoning
- styrenic thermoplastic elastomer
- Styrian Armoury
- styrylic alcohol
- styryl phosphoric acid
- Styx
- Stäckel determinant
- Stäckel space