automatic text 📖 中文释义 [计] 自动加入文字 ← Automatic Test Pattern Generation system A 字母词表 automatic theorem proving →