1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1843 Computer Algebra : The Algorithms, Implementations and the Next Generation
ダウンロード数: 93

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/195009
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1843-08.pdf1.04 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author岩根, 秀直ja
dc.contributor.author樋口, 博之ja
dc.contributor.author穴井, 宏和ja
dc.contributor.alternativeIWANE, HIDENAOen
dc.contributor.alternativeHIGUCHI, HIROYUKIen
dc.contributor.alternativeANAI, HIROKAZUen
dc.contributor.transcriptionイワネ, ヒデナオja
dc.contributor.transcriptionヒグチ, ヒロユキja
dc.contributor.transcriptionアナイ, ヒロカズja
dc.date.accessioned2015-03-03T05:46:32Z-
dc.date.available2015-03-03T05:46:32Z-
dc.date.issued2013-07-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/195009-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleSign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)ja
dc.title.transcriptionSIGN DEFINITE CONDITION センヨウ QUANTIFIER ELIMINATION ニオケル リロンシキ ノ カンタンカ スウシキ ショリ ソノ ケンキュウ ト メザス モノja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1843-
dc.identifier.spage66-
dc.identifier.epage79-
dc.textversionpublisher-
dc.sortkey08-
dc.address(株)富士通研究所ja
dc.address(株)富士通研究所ja
dc.address(株)富士通研究所・九州大学ja
dc.address.alternativeFUJITSU LABORATORIES LTDen
dc.address.alternativeFUJITSU LABORATORIES LTDen
dc.address.alternativeFUJITSU LABORATORIES LTD・KYUSHU UNIVERSITYen
dcterms.accessRightsopen access-
出現コレクション:1843 Computer Algebra : The Algorithms, Implementations and the Next Generation

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

Export to RefWorks


出力フォーマット 


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