网站首页 词典首页
We introduce automatic reasoning and logic programming in Chapter 9.
第九章介绍自动推理和逻辑编程.
互联网
自动推理法???
英汉双解词典包含4367426条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。