automated reasoning tool

【计】 自动推理工具
英汉词典
相关词语