滿足式證明
中 文 滿足式證明
出 處 電子計算機名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
滿足式證明 | 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 | 【電子計算機名詞】 |