higher-order predicate logic

网络释义

1.	高级谓语逻辑 higher... ... 高级谓语逻辑(高级谓语逻辑) higher order predicate logic 高阶模态逻辑(高阶模态逻辑) higher order modal logic ... www.nciku.cn

随便看

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