文献
J-GLOBAL ID:201002262714237990   整理番号:10A0641242

証明ラベル付け方式

Proof labeling schemes
著者 (3件):
資料名:
巻: 22  号:ページ: 215-233  発行年: 2010年05月 
JST資料番号: D0974B  ISSN: 0178-2770  資料種別: 逐次刊行物 (A)
発行国: ドイツ (DEU)  言語: 英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る