1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1125 プログラム変換と記号・数式処理
ダウンロード数: 300

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/63581
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1125-7.pdf2.64 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author越村, 三幸ja
dc.contributor.author藤田, 博ja
dc.contributor.author長谷川, 隆三ja
dc.contributor.alternativeKoshimura, Miyukien
dc.contributor.alternativeFujita, Hiroshien
dc.contributor.alternativeHasegawa, Ryuzoen
dc.contributor.transcriptionコシムラ, ミユキja
dc.contributor.transcriptionフジタ, ヒロシja
dc.contributor.transcriptionハセガワ, リュウゾウja
dc.date.accessioned2008-07-09T10:10:46Z-
dc.date.available2008-07-09T10:10:46Z-
dc.date.issued2000-01-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/63581-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleMGTP : モデル生成型定理証明システム : 実装と応用 (プログラム変換と記号・数式処理)ja
dc.title.alternativeMGTP : A Model Generation Theorem Prover : Its Implementation and Application (Program Transformation, Symbolic Computation and Algebraic Manipulation)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1125-
dc.identifier.spage65-
dc.identifier.epage80-
dc.textversionpublisher-
dc.sortkey07-
dc.address九州大学システム情報科学研究科ja
dc.address九州大学システム情報科学研究科ja
dc.address九州大学システム情報科学研究科ja
dc.address.alternativeGraduate School of Information Science and Electrical Engineering, Kyushu Universityen
dc.address.alternativeGraduate School of Information Science and Electrical Engineering, Kyushu Universityen
dc.address.alternativeGraduate School of Information Science and Electrical Engineering, Kyushu Universityen
dcterms.accessRightsopen access-
出現コレクション:1125 プログラム変換と記号・数式処理

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

Export to RefWorks


出力フォーマット 


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