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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0406-8.pdf402.54 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author一松, 信ja
dc.contributor.alternativeHITOTSUMATSU, SHINen
dc.contributor.transcriptionヒトツマツ, シンja
dc.date.accessioned2010-03-05T04:44:15Z-
dc.date.available2010-03-05T04:44:15Z-
dc.date.issued1980-12-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/102347-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title幾何の定理を計算機に証明させる試み : 呉文俊教授の成果 (数式処理と数学研究への応用)ja
dc.title.transcriptionキカ ノ テイリ オ ケイサンキ ニ ショウメイ サセル ココロミ ゴ ブンシュン キョウジュ ノ セイカ スウシキ ショリ ト スウガク ケンキュウ エノ オウヨウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume406-
dc.identifier.spage93-
dc.identifier.epage99-
dc.textversionpublisher-
dc.sortkey08-
dc.address京都大学数理解析研究所ja
dcterms.accessRightsopen access-
出現コレクション:0406 数式処理と数学研究への応用

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

Export to RefWorks


出力フォーマット 


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