网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
Hardick
Hardicsai
Hardicsay
Hardinge thickner
Hardinge type loop classifier
hardingfele
hardingfeles
harding fiddle
hardie
hardie-hole
Hardie, James Keir
hardier
hardies
hardiesse
hardily
hardim
hard image
hardiman
Hardiman
hardimen
hardiment
hardiments
hardimeter
hardimetre
hard impervious material
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/3/4 0:54:38