88单词
词典收录词

automated reasoning tool

[计] 自动推理工具

发音使用有道词典音频接口;音频不可用时自动回退到浏览器语音。