网站首页
词典首页
请输入您要查询的英文单词:
单词
Skolemization
释义
Skolemization
网络
林化;斯柯伦化
网络释义
1.
林化
...存 (logical dependency)、斯科
林化
(
Skolemization
)、分枝量词(branching quantifiers) 等概念。
www.docin.com
2.
斯柯伦化
斯柯伦化
(
skolemization
)方法把每个存在量化变量用一个函数来替换,这个函数是关于语句中某个或所有其他变量的函数, …
book.51cto.com
例句
随便看
wheeler-dealer
wheelerdealer
wheeler dealer
wheeler-dealers
wheeler dealers
wheeler-dealing
Wheeler-DeWitt equation
Wheeler-Feynman theory
wheeleri
Wheelerian
Wheeler-Johnson's test
Wheeler National Wildlife Refuge
Wheeler Peak
wheeler pk.
Wheeler Ridge
wheelers
wheelersburg
wheeless
wheel excavator
Wheel Excavators
wheel extension
wheel face
wheel facewidth
wheel facing
wheel feed
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/18 11:03:23