automated reasoning tool 📖 中文释义 [计] 自动推理工具 ← automated protocol validation A 字母词表 automated retrieval →