＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- photocopy
- photocopy & typography edition
- photocorrosion
- photocounting
- photocounting, photon counting
- photocreep
- photocrosslinking
- photo-crosslinking polymer materials
- photo-crosslinking tag
- photocrystallization
- photo curing
- photo-curing
- photocuring coating
- photo-curing polymer meterials
- photocurrent
- photocurrent effect
- photod
- photodarkening in gain fiber
- photodecomposition
- photodegradable
- photodegradation
- photodegradation of polymer
- photo Dember effect
- photo-Dember effect
- photodensitometer