証明論と証明活動 : RIMS共同研究(公開型)
著者
書誌事項
証明論と証明活動 : RIMS共同研究(公開型)
(数理解析研究所講究録, 2083)
京都大学数理解析研究所, 2018.8
- タイトル別名
-
Proof theory and proving : December 25-27, 2017
- タイトル読み
-
ショウメイロン ト ショウメイ カツドウ : RIMS キョウドウ ケンキュウ (コウカイガタ)
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
RIMS共同研究(公開型)報告集: 2017年12月25日-12月27日. 研究代表者: 佐々木克巳
参考文献: 各論文末