理论计算机科学 程序理论 释文 correctness proof 正确性证明
- gravity-center energy
- gravity centre of population
- gravity concentration
- gravity concentration equipment
- gravity concentration pool control system
- gravity current
- gravity darkening
- gravity data processing
- gravity datum
- gravity/dead weight anchor
- gravity disturbance
- gravity drift
- gravity drive
- gravity driving clock
- gravity dust collector
- gravity earth tide survey
- gravity equatorial plane
- gravity erosion
- gravity exploration data processing and interpretation
- gravity exploration method
- gravity field
- gravity field and its temporal variation of the earth
- Gravity Field and Steady-State Ocean Circulation Explorer
- gravity field and steady-state ocean circulation explorer
- gravity field navigation system