滿足式證明
中 文 滿足式證明
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 滿足式證明 | satisfaction proof | 【電子計算機名詞】 |
| 機械式證明測試 | mechanical proof testing | 【電子計算機名詞】 |
| 零知識互動式證明系統 | zero-knowledge interactive proof system | 【電子計算機名詞】 |
| 知識交互式證明系統 | knowledge interactive proof system | 【電子計算機名詞】 |
| 平方殘餘交互式證明系統；二次剩餘交互式證明系統 | quadratic residue interactive proof system | 【電子計算機名詞】 |
| 形式證明 | formal proof | 【電子計算機名詞】 |
| 非正式證明 | informal proof | 【電子計算機名詞】 |
| 圖同形性交談式證明系統 | graph isomorphism interactive proof system | 【電子計算機名詞】 |
| 交互式證明協定 | interactive proof protocol | 【電子計算機名詞】 |
| 交互式證明 | interactive proof | 【電子計算機名詞】 |
| 形式證明；形式證法 | formal proof | 【數學名詞】 |
| 自足式特殊班 | Special Self-Contained Class | 【教育大辭書】 |
| 自足式資料庫語言 | self contained database language | 【電子工程】 |
| 顯式說明 | explicit declaration | 【電機工程】 |
| 蛙足式繞組 | frog leg winding | 【電機工程】 |
| 照明方式；照明制度；照明系統 | lighting system | 【電機工程】 |
| [窗]簾式照明 | pelmet lighting | 【電機工程】 |
| 單蛙足式繞組 | simplex frog leg winding | 【電機工程】 |
| 自足式；自含式 | self-contained{=SCNTN} | 【電子計算機名詞】 |
| 自足式資料庫語言 | self-contained database language | 【電子計算機名詞】 |