ダウンロード数: 88

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0486-9.pdf1.01 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorIshikawa, Shiroen
dc.contributor.authorNagata, Morioen
dc.contributor.alternative石川, 史郎ja
dc.contributor.alternative永田, 守男ja
dc.contributor.transcriptionイシカワ, シロウja
dc.contributor.transcriptionナガタ, モリオja
dc.date.accessioned2010-03-05T09:43:21Z-
dc.date.available2010-03-05T09:43:21Z-
dc.date.issued1983-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/103461-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleNotes on a Method for Describing Definitions Theorems, Proofs in Mathematicsen
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume486-
dc.identifier.spage99-
dc.identifier.epage119-
dc.textversionpublisher-
dc.sortkey09-
dc.addressFaculty of Science and Technology, Keio Universityen
dc.addressFaculty of Science and Technology, Keio Universityen
dcterms.accessRightsopen access-
出現コレクション:0486 数式処理と数学研究への応用

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

Export to RefWorks


出力フォーマット 


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