理论计算机科学 程序理论 释文 type substitution 类型代换
- Mordva
- Mordvin
- More Electric Aircraft Initiative
- more electric engine
- Moreh
- More Joy in Heaven
- Morelia
- more-place predicate
- more-powerful test
- MoReq
- Morera
- Morera theorem
- More Stories Told in the Evening
- Moreton wave
- Moretus crater
- more with less
- Morganellaceae infectoin
- Morgan Freeman
- Morgan-Keenan classification
- Morgan-Keenan-Kellman classification
- Morgan-Keenan-Kellman system
- Morgan-Keenan luminosity class
- Morgan-Keenan system
- Morgan's classification
- Morgan Tsvangirai