＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Kirino Natsuo
- Kirinyaga Peak
- Kiri Te Kanawa
- Kirkendall effect
- Kirkman
- Kirkman 15 schoolgirls problem
- Kirkman point
- Kirkman schoolgirl problem
- Kirkman's problem
- Kirkman triple system
- Kirkpatrick-Baez type X-ray telescope
- Kirkpatrick dolorite
- Kirkpatrick Evaluation Model
- Kirkuk
- Kirkuk Oil Field
- Kirkwood crater
- Kirkwood equation
- Kirkwood gap
- Kirkwood Observatory
- Kirkwood superposition approximation
- [Kirkwood] superposition approximation
- Kirov
- Kirovohrad
- Kirovskaya
- Kirsten Flagstad