＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 calculus of predicates 谓词演算 functional calculus 函数演算，谓词演算† predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- entanglement entropy
- entanglement measure
- entanglement measures
- entanglement monogamy
- entanglement monotone
- entanglement of formation
- entanglement of polymer chains
- entanglement purification
- entanglement purification and distillation
- entanglement swapping
- entanglement witness
- Entcheidungsproblem
- Entebbe
- Entecavir
- entelodont
- Entente mauritanienne
- enteraden
- enteral nutrition
- enteric adenoviral gastroenteritis
- enteric adenovirus
- enteric capsules
- enteric coated tablets
- enteric nervous system
- enteric nervous system of livestock
- enteric redmouth disease