automated reasoning tool

automated reasoning tool是什么意思、automated reasoning tool怎么读
【计】 自动推理工具

automated reasoning tool汉语翻译

【计】 自动推理工具