証明論と計算論の最前線 : RIMS共同研究 (公開型)

Author(s)

Bibliographic Information

証明論と計算論の最前線 : RIMS共同研究 (公開型)

（数理解析研究所講究録, 2293）

京都大学数理解析研究所, 2024.10

Other Title

New frontiers of proof and computation : December 11-14, 2023

Title Transcription

ショウメイロン ト ケイサンロン ノ サイゼンセン : RIMS キョウドウ ケンキュウ (コウカイガタ)

Available at  / 3 libraries

Search this Book/Journal

Note

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

タイトルは表紙による

RIMS共同研究(公開型)報告集: 2023年12月11日-12月14日 . 研究代表者: 横山啓太

参考文献: 各論文末

Related Books： 1-1 of 1

Details

  • NCID
    BD10743109
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    engjpn
  • Place of Publication
    [京都]
  • Pages/Volumes
    ii, 184p
  • Size
    26cm
  • Parent Bibliography ID
Page Top