网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
Ascochyta phytolaccae
Ascochyta pinodes
ascochyta piricola
ascochyta pisi
Ascochyta pisi
ascochyta pisi libert
ascochyta plantaginis
Ascochyta plantaginis
Ascochyta polygonicola
Ascochyta populicola
Ascochyta prasadii
Ascochyta primulae
Ascochyta pruni
ascochyta punctata
ascochyta rheae
Ascochyta rhei
Ascochyta ricinella
ascochyta robiniae sacc.er speg
Ascochyta rosicola
ascochyta salicicola
Ascochyta sambucella
Ascochyta scrophulariae
ascochyta sidae
Ascochyta siraitiae
Ascochyta sojae
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/5/30 0:39:01