FOPC

网络释义

1.	一阶谓词演算(first order predicate calculus) 一期一阶谓词演算（FOPC）延期语法驱动的语义分析。 zhidao.baidu.com
2.	一阶谓词逻辑演算 ...和定义的更加精确，学者们发现，这些表示方法只不过是一阶谓词逻辑演算（FOPC）再加上一些特殊推理过程的具有不同约 … blog.sina.com.cn

随便看

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