自动推理工具翻译

英语翻译：

【计】 automated reasoning tool

分词翻译：

自动的英语翻译：

auto; automatism; of one's own accord; self-motion
【计】 augomatic; automated
【医】 aut-; auto-; automatic movement; automatism; spontaneous movement
telergy

推理的英语翻译：

inference; logic; ratiocination; reasoning
【化】 reasoning

工具的英语翻译：

gear; goods; implement; instrument; means; tackle; tool
【计】 utility
【经】 facility; implement; means; tool