終止證明
中 文 終止證明
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 終止證明 | termination proof | 【電子計算機名詞】 |
| 熄滅；停止照明；滅燈 | lighting-off | 【電機工程】 |
| 熄滅，停止照明，滅燈 | lighting-off | 【電力工程】 |
| 證明；防止 | proof | 【電機工程】 |
| 證明 | Confirmation | 【教育大辭書】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 啟動╱終止程式 | initiator/terminator | 【資訊與通信術語辭典】 |
| 推力終止 | thrust termination | 【力學名詞辭典】 |
| 線終止集 | four-wire terminating set四 | 【資訊與通信術語辭典】 |
| 零證明 | zero proof | 【資訊與通信術語辭典】 |
| 任務終止 | task termination | 【資訊與通信術語辭典】 |
| 終止器 | terminator | 【資訊與通信術語辭典】 |
| 終止分析 | termination analysis | 【資訊與通信術語辭典】 |
| 終止 | termination | 【資訊與通信術語辭典】 |
| 終止符號 | terminating symbol | 【資訊與通信術語辭典】 |
| 終止參數 | terminate parameter | 【資訊與通信術語辭典】 |
| 終端透明性 | terminal transparency | 【資訊與通信術語辭典】 |
| 證明理論 | proof theory | 【資訊與通信術語辭典】 |
| 分解證明樹 | resolution proof tree | 【資訊與通信術語辭典】 |
| 分解證明圖 | resolution proof graph | 【資訊與通信術語辭典】 |