証明論と複雑性
著者
書誌事項
証明論と複雑性
（数理解析研究所講究録, 1832）
京都大学数理解析研究所, 2013.4
- タイトル別名
-
Proof theory and complexity : September 12-14, 2012
- タイトル読み
-
ショウメイロン ト フクザツセイ
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
タイトルは表紙による
RIMS研究集会報告集: 2012年9月12日-9月14日. 研究代表者: 鈴木登志雄
参考文献: 各論文末
