网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
Craig theorem
释义
Craig theorem
基本
例句
克雷格定理
Author show theCraig theoremand Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*.
作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
随便看
点儿
点儿背
点充
点光栅法
点光源
点光源检查灯
点光源灯
点光源照明
点光灯
点光视网膜镜
点光阑
点入
点全步法
点八叉树
点关联度
点兵
点册
点冒口
点军
点军区
点军标
点冰
点冰跳
点几何
点几何学
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/10/29 5:11:32