このアイテムのアクセス数: 212

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1021-9.pdf686.01 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorTASHIRO, Hidetoshien
dc.contributor.alternative田代, 秀敏ja
dc.contributor.transcriptionタシロ, ヒデトシja
dc.date.accessioned2008-07-09T07:31:40Z-
dc.date.available2008-07-09T07:31:40Z-
dc.date.issued1997-12-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/61679-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subjectComputational playabilityen
dc.subjectBackward induction solutionen
dc.subjectComputabilityen
dc.subjectKleene's T-predicateen
dc.subjectSearchen
dc.subjectPolynomial payoff functionsen
dc.subject.ndc410-
dc.titleComputational Playability of Backward Induction Solutionsen
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1021-
dc.identifier.spage112-
dc.identifier.epage118-
dc.textversionpublisher-
dc.sortkey09-
dc.addressGraduate School of Economics, Hitotsubashi Universityen
dc.identifier.mrnumber1643420-
dcterms.accessRightsopen access-
出現コレクション:1021 sequent calculus と Kripke semanticsに基づく非古典論理学の研究

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

Export to RefWorks


出力フォーマット 


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