1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0236 アルゴリズムにおける証明論
ダウンロード数: 134

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/105506
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0236-7.pdf1.15 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorIWAMARU, YOSHIAKIen
dc.contributor.authorNAGATA, MORIOen
dc.contributor.authorNAKANISHI, MASAKAZUen
dc.contributor.authorNISHIMURA, TOSHIOen
dc.contributor.alternative岩丸, 良明ja
dc.contributor.alternative永田, 守男ja
dc.contributor.alternative中西, 正和ja
dc.contributor.alternative西村, 敏男ja
dc.contributor.transcriptionイワマル, ヨシアキja
dc.contributor.transcriptionナガタ, モリオja
dc.contributor.transcriptionナカニシ, マサカズja
dc.contributor.transcriptionニシムラ, トシオja
dc.date.accessioned2010-03-08T08:05:52Z-
dc.date.available2010-03-08T08:05:52Z-
dc.date.issued1975-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/105506-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleImplementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume236-
dc.identifier.spage46-
dc.identifier.epage75-
dc.textversionpublisher-
dc.sortkey07-
dc.addressKeio Univ.en
dc.addressKeio Univ.en
dc.addressKeio Univ.en
dc.addressTokyo Univ. of Educationen
dc.address.alternative慶応義塾大学工学部ja
dc.address.alternative慶応義塾大学工学部ja
dc.address.alternative慶応義塾大学工学部ja
dc.address.alternative筑波大学ja
dcterms.accessRightsopen access-
出現コレクション:0236 アルゴリズムにおける証明論

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

Export to RefWorks


出力フォーマット 


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