网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
fissidens capitulatus
fissidens ceylonensis
fissidens crassinervis
fissidens crenulatus
fissidens crenulatus elmeri
fissidens crenulatus pursellii
fissidens crispulus
fissidens cristata mutt
fissidens curvatus
fissidens dubius
fissidens esquirolii
fissidens filicinus doz et molk
fissidens flabellulus
fissidens formosanus
fissidens ganguleei
fissidens garberi
fissidens gardneri
fissidens geminiflorus
fissidens geppii
fissidens grandifrons
fissidens guangdongensis
fissidens gymnogynus
fissidens hollianus
fissidens hyalinus
fissidens japonico-punctatus
爱贷网英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 520dai.com All Rights Reserved
更新时间:2026/9/23 21:57:54