automated proving的相关资料：
临近单词
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
