网站首页
词典首页
请输入您要查询的英文单词:
单词
Skolemization
释义
Skolemization
网络
林化;斯柯伦化
网络释义
1.
林化
...存 (logical dependency)、斯科
林化
(
Skolemization
)、分枝量词(branching quantifiers) 等概念。
www.docin.com
2.
斯柯伦化
斯柯伦化
(
skolemization
)方法把每个存在量化变量用一个函数来替换,这个函数是关于语句中某个或所有其他变量的函数, …
book.51cto.com
例句
随便看
chosing
chosis
chosisme
chos malal
Chosmes
choson
choss
chossudovsky
chossy
chost
chosun
chosure of pores
Choszczno
chot
chota
chota bursat
chotanagpur
Chota Nagpur
chota nagpur plateau
chotapeg
chotchke
chotchkes
chote
choteau
chotiner
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/8 13:33:04