證明樹
中 文 證明樹
英 文 proof tree
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 分解證明樹 | resolution proof tree | 【資訊與通信術語辭典】 |
| 分解證明樹 | resolution proof tree | 【電子計算機名詞】 |
| 證明樹 | proof tree | 【電子計算機名詞】 |
| 證明 | Confirmation | 【教育大辭書】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 零證明 | zero proof | 【資訊與通信術語辭典】 |
| 證明理論 | proof theory | 【資訊與通信術語辭典】 |
| 分解證明圖 | resolution proof graph | 【資訊與通信術語辭典】 |
| 來源證明之不可否認性；具來源證明不可否認性 | non-repudiation with proof of origin | 【電子工程】 |
| 具投遞送達證明之不可否認性 | non-repudiation with proof of delivery | 【電子工程】 |
| 證明書 | testimonial | 【電機工程】 |
| 證明；表明 | testify | 【電機工程】 |
| 試驗證明書 | test certificate | 【電機工程】 |
| 死亡證明由 | Death Certified By | 【電子工程】 |
| 證明日期／時間 | Date/Time of Attestation | 【電子工程】 |
| 符合性證明 | Certificates of conformance | 【電子工程】 |
| 正確性證明 | correctness proving | 【電子工程】 |
| 正確性之證明 | proof of correctness | 【電子工程】 |
| 由誰證明 | Attested By | 【電子工程】 |
| 製造證明書 | certificate of manufacture | 【藥學】 |