人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- Medio-Translatology
- meditation
- Meditations on first philosophy
- meditation weeks
- Mediterranean Agreements
- Mediterranean Area Anti-drug Enforcement Coordination Centre
- Mediterranean blue mussel
- Mediterranean buffalo
- mediterranean salinity crisis
- Mediterranean Sea
- Mediterranean Shipping Company
- Mediterranean trade in the Middle Ages
- medium
- medium access control
- medium access control address
- medium access control address, MAC address
- medium access control, MAC
- medium-altitude satellite
- medium and long-term planning of water supply and demand
- Medium-and Long-term Youth Development Plan(2016—2025)
- medium and low-rise with high density
- medium-and-low-yield farmland rehabilitation
- medium-band photometry
- medium-band width
- medium bosons