automated reasoning tool

automated reasoning tool 基本解释

网络  自动化推论工具; 自动推理工具

计算机

重点词汇

• tooln. 工具, 机床, 傀儡 vt. 用工具加工 vi. 使用工具
• reasoningn. 推论, 推理, 论证 [化] 推理
• automateda. 自动化的；机械化的