Horn clause prover

英 文 Horn clause prover

中 文 Horn子句證明器

出 處 電子計算機名詞

Horn clause prover Horn子句證明器 【電子計算機名詞】

Horn clause Horn子句 【電子計算機名詞】

catenoidal horn 垂鏈線曲面錐 【力學名詞辭典】

unit factor clause 單元因子子句 【資訊與通信術語辭典】

ground clause 基本子句 【資訊與通信術語辭典】

inference clause 推理子句 【資訊與通信術語辭典】

report clause 報表子句 【資訊與通信術語辭典】

definite clause grammar 定子句文法 【資訊與通信術語辭典】

FOR clause FOR子句 【資訊與通信術語辭典】

file clause 檔案子句 【資訊與通信術語辭典】

data clause 資料子句 【資訊與通信術語辭典】

factor clause 因子子句 【資訊與通信術語辭典】

empty clause 空子句 【資訊與通信術語辭典】

IF clause 若子句 【資訊與通信術語辭典】

Horn 角峰 【環境科學大辭典】

alignment clause 調正子句 【資訊與通信術語辭典】

multimode horn feed 多模號周饋電 【電子工程】

throat of horn 喇叭喉 【電機工程】

vibrator horn 振動喇叭 【電機工程】

box horn 喇叭形天線；箱型喇叭 【電機工程】