网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
reprove to my face
reprove to our face
reprove to their face
reprove to your face
repse
Repse
rep sem
repship
REPSHIP
REPSH repair shop
repsol
reptate
Reptatia
reptation
reptation behavior
reptations
reptatory
Repteat Integral
reproving
re-proving
reprovingly
reprovings
reprovision
re provision
re-provision
爱贷网英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 520dai.com All Rights Reserved
更新时间:2026/11/7 22:54:39