＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- cup shell extrusion
- cupule
- Cup·Bowl·Chopsticks
- Curating
- Curation:Multiple Dimensions in Museum Display Construction
- curative preservation
- Curator
- curator
- Curator System in Japan
- Curaçao Island
- curb ramp
- curculigo
- curculigo family
- curcuma zedoary
- curcumin
- curdione
- curdlan
- curd-like coating
- curd meter
- curdy precipitate
- cure
- cured meat product inspection
- cured meat products
- cure nutrient anemia
- cure rate