网站首页 词典首页
General deduction and strong completeness of the formal deductive system L? are further studied.
进一步讨论了形式系统L? 中的一般演绎推理及强完备性问题.
互联网
英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。