＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- urea-ammonium mixed nitrogen fertilizer
- urea ammonium nitrate solution
- urea cycle
- urea formaldehyde
- urea formaldehyde resin
- urea-formaldehyde resin
- urea-formaldehyde resins
- urea herbicide
- urea phosphate
- Ureaplasma urealyticum infection
- urea poisoning
- urea prilling tower
- urea resin
- urease
- urediniospore
- uredinium
- urediospore
- uredium
- uredosorus
- uredospore
- uredostage
- ureilite
- urelement
- Urengoy-Uzhhorod Gas Pipeline
- ureogenesis