＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- three-factor personality model
- three field notation of scheduling
- three-field notation of scheduling
- three-field rotation
- three-field system
- three-figure number
- Three figures of lingnan
- three-five compound III-V
- three-fixes on forest resource
- three flow conjecture
- three-flow conjecture
- three focuses
- three-fold
- threefold axis
- threefold branch point
- three-fold classification
- threefold degeneracy
- three-fold integration of hollowed village consolidation
- threefold [symmetry] axis
- threefold symmetry axis
- three-fold transitivity
- three formations of society
- Three Forts of Hebei
- Three Forts of Heyang
- three fourths