＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Beltrami field
- Beltrami formula
- Beltrami identity
- Beltrami interpretation
- Beltrami mapping
- Beltrami method
- Beltrami operator
- Beltrami parameter
- Beltrami pseudosphere
- Beltrami system of equations
- Beltrami theorem
- belt scale
- Belt-shaped Radio telescope
- Beltsville Agricultural Research Center
- belt transect
- belt transect method
- belt transportation inclined shaft
- belt-type electrostatic separator
- belt type roasting machine pelletizing process
- belt type seeder
- belt vacuum filter
- belt vessel
- belvedere fruit
- Belvedere Garden
- Belvedere Palace