网站首页  词典首页

请输入您要查询的英文单词:

 

单词 FOPC
释义

FOPC

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

例句

随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/12 8:56:51