WebOPAC Local書誌詳細

書誌詳細

京都大学数理解析研究所, 2013. -- (数理解析研究所講究録 ; 1832). <BB02194632>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

京都大学数理解析研究所, 2013. -- (数理解析研究所講究録 ; 1832). <BB02194632>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	資料ID	請求記号	状態	返却予定日	予約	WEB書棚
0001		数理科学	理：数理科学図書室レクチャーノート	10003075059	/410/Su76k/1832			0件

標題および責任表示	証明論と複雑性ショウメイロントフクザツセイ
出版・頒布事項	[京都] : 京都大学数理解析研究所 , 2013.4
形態事項	ii, 176p ; 26cm
書誌構造リンク	数理解析研究所講究録\|\|スウリカイセキケンキュウショコウキュウロク <BB00036669> 1832//a
その他の標題	標題紙タイトル:Proof theory and complexity : September 12-14, 2012
注記	タイトルは表紙による
注記	RIMS研究集会報告集: 2012年9月12日-9月14日. 研究代表者: 鈴木登志雄
注記	参考文献: 各論文末
学情ID	BB13031256
本文言語コード	日本語英語
著者標目リンク	鈴木, 登志雄\|\|スズキ, トシオ <AU00401149>
著者標目リンク	京都大学数理解析研究所\|\|キョウトダイガクスウリカイセキケンキュウショ <AU00064589>