quantifier-free conjunctive normal form

英 文 quantifier-free conjunctive normal form

中 文 自由量詞合取範式

出 處 電子計算機名詞

quantifier-free conjunctive normal form 自由量詞合取範式 【電子計算機名詞】

prenex-conjunctive normal form 合取正規形式 【電子計算機名詞】

conjunctive normal form{=CNF} 合取正常形式 【電子計算機名詞】

conjunctive normal form 合取正規式 【數學名詞-兩岸數學名詞 】

conjunctive normal form 合取正規式 【數學名詞】

distinguished conjunctive normal form 傑異合取正規式 【數學名詞】

quasi-prenex conjunctive kernel normal form function ; quasiprenex conjunctive kernel normal form function 準前束合取核範式函數 【數學名詞】

Boyce Codd normal form 正規化格式 【資訊與通信術語辭典】

second normal form 第二正規形式 【資訊與通信術語辭典】

third normal form 第三正規形式 【資訊與通信術語辭典】

first normal form 第一級正規形式 【資訊與通信術語辭典】

normal form 正常形式；正規形式 【資訊與通信術語辭典】

nested normal form 巢套正規格式 【資訊與通信術語辭典】

Backus normal form 巴科斯正規形式 【資訊與通信術語辭典】

normal form 正常式；標準表格 【電機工程】

Boyce Codd normal form{=BCNF} BCNF正規形式 【電子計算機名詞】

BC normal form BC 正規形式 【電子計算機名詞】

Chomsky normal form 喬姆斯基正規形式 【電子計算機名詞】

Backus normal form{=BNF} 巴科斯正規形式 【電子計算機名詞】

Root Normal Form 根正規形式 【電子計算機名詞】