网站首页  词典首页

请输入您要查询的英文单词或汉字:

 

词汇 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定理。
随便看

 

英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2000-2024 tbdmj.com All Rights Reserved 更新时间:2025/2/1 6:59:21