英语词汇“Craig theorem”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	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定理。
随便看	Railway Automatic Train Identification System railway automation system railway axis railway axle box railway axlebox bearing railway axles railway baggage and parcel Railway baggage and parcel transportation Railway Ballast railway ballast bed railway basic level railway bearing railway bearing retainer railway bearlng railway beating railway bed railway bed disease railway beggarticks herb railway berth railway between the two cities railway bill railway bill of lading Railway block container train railway boarding card railway bogie