网站首页
词典首页
请输入您要查询的英文单词：
单词
higher order logic
释义
higher order logic
美
英
un.
高阶逻辑
网络
高级逻辑
英汉
网络释义
un.
1.
高阶逻辑
1.
高阶逻辑
高阶逻辑
(
higher order logic
)是在一阶命题演算逻辑基础上扩展形成的,已开发的HOL定理证明器支持高阶逻辑的定理证明。文献[…
www.alllw.com
2.
高级逻辑
...quential Processes）；HOL——
高级逻辑
（
Higher Order Logic
）； LOTOS（是用于描述和推理并行通信过程系统行为的一 …
www.docin.com
例句
随便看
underdosage
under-dose
underdose
underdosed
underdosing
under-double
underdraft
under draft
underdrag
underdrain
under-drain
under-drainage
underdrainage
underdrainage system
underdrain distributor
underdrained
underdrained settling basin
underdraining
underdrain of filter
underdrains
underdrain system
underdraught
underdraw
underdrawer
underdrawers
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/1/29 11:04:17