約束邏輯程式設計
中 文 約束邏輯程式設計
英 文 Constraint Logic Programming
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 程式設計式樣 | programming style | 【電子計算機名詞】 |
| 檢驗結束句子程式 | check statement end subroutine | 【電機工程】 |
| 無約束控制模式 | unbound control mode | 【電子計算機名詞】 |
| 檢驗結束句子程式 | check statement end subroutine | 【電力工程】 |
| 約化物態方程[式] | reduced equation of state | 【物理學名詞】 |
| 方程[式] | equation | 【數學名詞釋義】 |
| 方程[式] | equation | 【資訊與通信術語辭典】 |
| 帶處理可選常（用程）式 | tape handle optional routine{=THOR} | 【電機工程】 |
| 正常方程（式）；標準方程（式） | normal equation | 【電機工程】 |
| 例行；例行工作；常規；常（用程）式；程序 | routine | 【電機工程】 |
| 相容性方程﹝式﹞ | compatibility equation | 【電機工程】 |
| 方法改進程式 | method improvement program{=MIP} | 【電子計算機名詞】 |
| 流程式佈置；製程式佈置；程序式佈置 | process layout | 【管理學名詞】 |
| 數學規劃系統延伸方法改進程式 | MPS extended methods improvement program{=MPSX/MIP} | 【電子計算機名詞】 |
| 前束正規形式 | prenex-normal form | 【電子計算機名詞】 |
| 前束正規形式 | prenex normal form | 【電子計算機名詞】 |
| 任務結束跳出常式 | end of task exit routine | 【電子計算機名詞】 |
| 束縛能公式 | binding energy formula | 【電機工程】 |
| 電子環射束近射程槍；電子環射束近距離槍 | electron ring beam short range gun | 【機械工程】 |
| 薛丁格方程[式] | Schrödinger equation | 【兩岸對照名詞-物理】 |