Horn子句證明器
中 文 Horn子句證明器
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| Horn子句證明器 | Horn clause prover | 【電子計算機名詞】 |
| Horn子句 | Horn clause | 【電子計算機名詞】 |
| 單元因子子句 | unit factor clause | 【資訊與通信術語辭典】 |
| 基本子句 | ground clause | 【資訊與通信術語辭典】 |
| 推理子句 | inference clause | 【資訊與通信術語辭典】 |
| 報表子句 | report file | 【資訊與通信術語辭典】 |
| 報表子句 | report clause | 【資訊與通信術語辭典】 |
| 定子句文法 | definite clause grammar | 【資訊與通信術語辭典】 |
| FOR子句 | FOR clause | 【資訊與通信術語辭典】 |
| 檔案子句 | file clause | 【資訊與通信術語辭典】 |
| 資料子句 | data clause | 【資訊與通信術語辭典】 |
| 因子子句 | factor clause | 【資訊與通信術語辭典】 |
| 空子句 | empty clause | 【資訊與通信術語辭典】 |
| 若子句 | IF clause | 【資訊與通信術語辭典】 |
| 目鏡照明器 | eyepiece lamp | 【測繪學辭典】 |
| 電子束記錄器 | electron beam recorder | 【資訊與通信術語辭典】 |
| 光離子化偵測器 | Photoionization Detector, PID | 【環境科學大辭典】 |
| 火燄離子化偵測器 | Flame Ionization Detector | 【環境科學大辭典】 |
| 調正子句 | alignment clause | 【資訊與通信術語辭典】 |
| 電子束寫入器 | electron beam writer | 【電子工程】 |