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