网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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定理。
随便看
holders
hold-ers
holdersbody-worn
Holders for Free Guide Arms
holders for SERVIETTES
holders for spades
holders for TOOTH
holders for TOOTHTEETHpicks
holders for whips
holders for whips, reins
holdership
Holders in Due Course
Holder's inequality
Holders of drain valve assembly
holders of high office
holders of justice
holders of non-tradable shares
holders of record
holders of rights
holders-on
holders or dispensers for TOILET paper
holder spring
holder stud
Holder summation
Holder summation method
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/2/1 6:59:21