网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
Desobeau
Desobeaux
desobesi
desobligeant
desobry
desoccatomg agemt
Desoche
desocialise
desocialised
desocialises
desocialising
desocialization
de-socialization
desocialize
desocialized
desocializes
desocializing
desocodeine
desocriptine
desoctapeptide insulin
desodoration
desodorization
Desoer
desoete
Desoeuvre
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/10/20 14:10:55