网站首页
词典首页
请输入您要查询的英文单词:
单词
FOPC
释义
FOPC
网络
一阶谓词演算(first order predicate calculus);一阶谓词逻辑演算
网络释义
1.
一阶谓词演算(first order predicate calculus)
一期
一阶谓词演算
(
FOPC
)延期 语法驱动的语义分析。
zhidao.baidu.com
2.
一阶谓词逻辑演算
...和定义的更加精确,学者们发现,这些表示方法只不过是
一阶谓词逻辑演算
(
FOPC
)再加上一些特殊推理过程的具有不同约 …
blog.sina.com.cn
例句
随便看
Aconitum kusnezoffii
Aconitum kusnezoffii Maxim.
Aconitum kusnezoffii Reichb.
Aconitum legendrei
Aconitum leucostomum
Aconitum liangshanicum
Aconitum liangshanicum W.T.Wang
Aconitum liljestrandii
Aconitum longecassidatum Nakai
Aconitum longilobum
Aconitum longipedicellatum
Aconitum longiramosum
Aconitum longtouense
Aconitum ludlowii Exell
aconitum lycoctonum l.
Aconitum macrorhynchum
Aconitum macrorhynchum Turcz.
Aconitum monanthum
Aconitum nagarum
Aconitum nagarum Stapf
Aconitum nagarum var.lasiandrum W.T.Wang
Aconitum napellus
Aconitum napellus L.
Aconitum naviculare
Aconitum naviculare Stapf
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/22 17:50:56