＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- decentralized budget management mode
- decentralized control
- decentralized control structure
- decentralized control systems
- decentralized crisis management
- decentralized drinking water sources
- decentralized filtering
- decentralized learning
- decentralized management model
- Decentralized procurement
- decentralized stabilization
- decentralized system
- decentralized type of organization
- decentration
- decentring
- deception
- deception wall
- deceptive electronic jamming
- deceptively simple spectrum
- deceptive pollination
- decerebrate animal
- decerebrate rigidity
- DECG
- Dechales
- Dechang buffalo