人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- Moroccan Popular Movement
- Moroccans
- Morocco
- Morocco dance
- Morocco Istiqlal Party
- Morocco Television
- Morocco-United States Free Trade Agreement
- Morocco withdrew from the Organization of African Unity
- Morogoro
- Morogoro Region
- Moro Gulf
- Morokweng crater
- Moro Movement
- Moros
- Moro War
- Morozov
- morpheme
- morphic
- morphinane alkaloid
- morphine
- morphing
- morphism
- morphism cocone
- morphism cone
- morphism of affine varieties