理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- lunar probe
- lunar propellant
- Lunar Prospector
- lunar radar time-synchronization
- lunar radiation
- lunar radio emission
- lunar rays
- Lunar Reconnaissance Orbiter
- Lunar Reconnaissance probe
- lunar regolith
- lunar regolith breccias
- lunar relay
- lunar rock
- Lunar Rover
- lunar rover
- lunar rover vehicle
- Lunar Roving Vehicle
- lunar roving vehicle
- lunar satellite
- lunar seismology
- lunar seismometer
- lunar sensor
- lunar space
- lunar surface
- lunar surface radiation environment