automated proving的相關(guān)資料：
臨近單詞
automated ship
automate
automated tongue segmentation
automated people mover system
Automated Data Input Terminal
Automated Digital Data System
Automated Control of Trainees
automated landmark navigation
Automated Circuit Test System
automated urinalysis analyzer
automated microbiology system
automated verification system
