Guarded Horn Clauses

英 文 Guarded Horn Clauses

中 文 GHC語言

出 處 電子計算機名詞

Guarded Horn Clauses GHC語言 【電子計算機名詞】

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

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

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

Dijkstra's guarded command language Dijkstra's防護命令語言 【資訊與通信術語辭典】

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

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

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

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

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

Bessel horn 貝色耳喇叭 【電機工程】

morning-glory horn 蜿展喇叭 【電機工程】

corrugated horn 波紋喇叭 【電子工程】

feed horn 號角形饋電器 【電子工程】

ridged horn 脊形喇叭 【電子工程】

pyramidal horn antenna 角錐喇叭天線 【電子工程】

Potter horn 玻特喇叭 【電子工程】

guarded input 附有保護之輸入 【電子工程】

horn type antenna 號角形天線 【電子工程】

horn shaped floating gate 角形浮動閘極 【電子工程】