＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- erosive burn of the esophagus
- erosive collision
- erosive gauge
- erosive wear
- Eros Lake
- erospace microorganism
- erotic materials and pornography
- Erotic Photography
- E. Rouche
- E. Rouché
- E. Rouché (1832—1910)
- ERP
- ERPⅡ
- ERR
- Er Rai
- erratic
- erratic behavior
- erratic high-grade
- Errentai opera
- Errentai Opera Troupe in Fugu County
- Errentai Opera Troupe of Ulanqab
- Errentai Qupai music of folk instrumental ensemble
- errenzhuan
- Errenzhuan comic duet
- Errenzhuan narrative singing music