＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- ceria
- ceric sulfate dosimeter
- Cering
- ceriometry
- Ceritinib
- cerium
- cerium dioxide
- cerium dioxide; ceria
- cerium nitrate
- cerium permanent magnets
- CERL
- cermet
- CERN
- cerotegument
- cerotic acid
- cerotic acid; cerotinic acid
- cerotinic acid
- Cerrado Protected Areas: Chapada dos Veadeiros and Emas National Parks
- Cerro Catedral
- Cerro de Las Minas
- Cerro Tololo Inter-American Observatory
- Cerro Tres Kandú
- CERT
- certain
- certain event