ダウンロード数: 141

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1514-27.pdf617.18 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author山本, 航ja
dc.contributor.author宮本, 健司ja
dc.contributor.author関川, 浩ja
dc.contributor.author白柳, 潔ja
dc.contributor.alternativeYAMAMOTO, WATARUen
dc.contributor.alternativeMIYAMOTO, KENJIen
dc.contributor.alternativeSEKIGAWA, HIROSHIen
dc.contributor.alternativeSHIROYANAGI, Kiyoshien
dc.contributor.transcriptionヤマモト, ワタルja
dc.contributor.transcriptionミヤモト, ケンジja
dc.contributor.transcriptionセキガワ, ヒロシja
dc.contributor.transcriptionシロヤナギ, キヨシja
dc.date.accessioned2008-07-01T05:36:52Z-
dc.date.available2008-07-01T05:36:52Z-
dc.date.issued2006-09-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/58666-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)ja
dc.title.transcriptionエンニ カンスル ニンゲン ラシイ ショトウ キカ ショウメイ オ セイセイ スル タメノ スイロン ホウホウ COMPUTER ALGEBRA DESIGN OF ALGORITHMS IMPLEMENTATIONS AND APPLICATIONSja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1514-
dc.identifier.spage164-
dc.identifier.epage170-
dc.textversionpublisher-
dc.sortkey27-
dc.address法政大学工学部ja
dc.address法政大学工学部ja
dc.address日本電信電話株式会社, NTTコミュニケーション科学基礎研究所ja
dc.address.alternativeFACULTY OF ENGINEERING, Hosei Universityen
dc.address.alternativeFACULTY OF ENGINEERING, Hosei Universityen
dc.address.alternativeNTT COMMUNICATION SCIENCE LABORATORIESen
dcterms.accessRightsopen access-
出現コレクション:1514 Computer Algebra : Design of Algorithms, Implementations and Applications

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

Export to RefWorks


出力フォーマット 


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