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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1335_04.pdf680.28 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author宮本, 健司ja
dc.contributor.author関川, 浩ja
dc.contributor.author白柳, 潔ja
dc.contributor.author町田, 文彦ja
dc.contributor.alternativeMiyamoto, Kenjien
dc.contributor.alternativeSekigawa, Hiroshien
dc.contributor.alternativeShirayanagi, Kiyoshien
dc.contributor.alternativeMachida, Fumihikoen
dc.date.accessioned2007-06-15T08:29:48Z-
dc.date.available2007-06-15T08:29:48Z-
dc.date.issued2003-07-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/43334-
dc.format.extent696610 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title初等幾何における読みやすい証明の生成手法についてja
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1335-
dc.identifier.spage20-
dc.identifier.epage27-
dc.textversionpublisher-
dc.sortkey04-
dcterms.accessRightsopen access-
出現コレクション:1335 Computer Algebra : Algorithms, Implementations and Applications

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

Export to RefWorks


出力フォーマット 


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