单词	定理证明
释义	定理证明theorem proving
随便看	motion, stream line motion; streamline motion study motion-- symmetric motion; symmetric motion, temperature motion-- temperature motion; three dimensional motion-time analysis motion-time analysis (mta) motion-time analysis (mta) system motion-time analysis system motion time measurement motion time standards (mts) system motion time standards system motion-time study motion time synthesis motion to motion to [sb] motion, translational motion-- translational motion, turbulent motion; turbulent motion tweening motion-- uniform