＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Michelson, Albert Abraham
- Michelson crater
- Michelson echelon
- Michelson echelon [grating]
- Michelson echelon grating
- Michelson Interferometer
- Michelson interferometer
- Michelson interferometry
- Michelson Morley experiment
- Michelson-Morley experiment
- Michelson stellar interferometer
- Michel Tournier
- Michel Tremblay
- Michel Vinaver
- michenical energy storage
- Michie model
- Michigan Stadium
- Michigan State
- Michigan State University Observatory
- Michigan University Radio Astronomy Observatory
- Michiko Ishimure
- Michio Kato
- Michio Kuga
- Michoacán，Estado de
- Michoo Theater Company