理论计算机科学 程序理论 释文 formal specification 形式规约
- automated translation
- automated vehicle platooning
- automated verification system
- automated verification tool
- automated warehouse
- automatic
- Automatica
- automatic abstract generation
- automatic adjustment excitation
- automatic aiming and driving
- automatical drilling
- automatically switched transport network
- automatical mining
- automatic astronomical station
- automatic balance recording instrument
- automatic bicycle
- automatic block
- automatic block between stations
- automatic bottle washing machine
- automatic braking of the Earth's rotation
- automatic bridge information acquisition vehicle
- automatic carrier landing control system
- automatic cataloging
- automatic celestial navigation
- automatic check