1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1568 Computer Algebra - Design of Algorithms, Implementations and Applications
ダウンロード数: 153

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/81236
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1568-01.pdf492.05 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author屋並, 仁史ja
dc.contributor.author穴井, 宏和ja
dc.contributor.alternativeYANAMI, HITOSHIen
dc.contributor.alternativeANAI, HIROKAZUen
dc.contributor.transcriptionヤナミ, ヒトシja
dc.contributor.transcriptionアナイ, ヒロカズja
dc.date.accessioned2009-07-23T23:57:33Z-
dc.date.available2009-07-23T23:57:33Z-
dc.date.issued2007-09-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/81236-
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.volume1568-
dc.identifier.spage1-
dc.identifier.epage6-
dc.textversionpublisher-
dc.sortkey01-
dc.address(株)富士通研究所, (独)科学技術振興機構ja
dc.address(株)富士通研究所, (独)科学技術振興機構ja
dc.address.alternativeFUJITSU LABORATORIES LTD., CREST, JSTen
dc.address.alternativeFUJITSU LABORATORIES LTD., CREST, JSTen
dcterms.accessRightsopen access-
出現コレクション:1568 Computer Algebra - Design of Algorithms, Implementations and Applications

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

Export to RefWorks


出力フォーマット 


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