natural deduction theorem proving

网络释义

1.	自然演绎法定理证明 ... natural deduction 自然演绎 (法 ) natural deduction theorem proving 自然演绎法定理证明 natural defect 自然缺陷 ... mapeng.net

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。