メトリック
3 レコードビュー
- タイトル
- 計算の複雑さと証明の複雑さ
- 作成者 – 役職なし
- Jun TARUI
- 会議
- 京大数理解析研究所研究集会「証明論と複雑性」(9月12日--14日, 2012)
- 出版者
- 京大数理解析研究所研究集会「証明論と複雑性」(9月12日--14日, 2012)
- ID
- 991002555719107421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Invited Oral Presentation