1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 2228 証明と計算の理論と応用
このアイテムのアクセス数: 205

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/279727
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2228-07.pdf3.89 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorPacheco, Leonardoen
dc.date.accessioned2023-03-14T02:54:15Z-
dc.date.available2023-03-14T02:54:15Z-
dc.date.issued2022-08-
dc.identifier.urihttp://hdl.handle.net/2433/279727-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.titleRecent Results on Reflection Principles in Second-Order Arithmetic (Theory and Applications of Proof and Computation)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2228-
dc.identifier.spage73-
dc.identifier.epage77-
dc.textversionpublisher-
dc.sortkey07-
dc.addressMathematical Institute, Tohoku Universityen
dc.address.alternative東北大学ja
dcterms.accessRightsopen access-
dc.identifier.pissn1880-2818-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
出現コレクション:2228 証明と計算の理論と応用

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。