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

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/58669
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1514-24.pdf611.84 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorKOBAYASHI, HIDETSUNEen
dc.contributor.authorSUZUKI, HIDEOen
dc.contributor.alternative小林, 英恒ja
dc.contributor.alternative鈴木, 秀男ja
dc.contributor.transcriptionコバヤシ, ヒデツネja
dc.contributor.transcriptionスズキ, ヒデオja
dc.date.accessioned2008-07-01T05:36:55Z-
dc.date.available2008-07-01T05:36:55Z-
dc.date.issued2006-09-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/58669-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titlePresentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1514-
dc.identifier.spage148-
dc.identifier.epage154-
dc.textversionpublisher-
dc.sortkey24-
dc.addressDEPARTMENT OF MATHEMATICS, FACULTY OF SCIENCE AND TECHNOLOGY, NIHON UNIVERSITYen
dc.addressDEPARTMENT OF INFORMATION TECHNOLOGY, TOKYO INSTITUTE, POLYTECHNIC UNIVERSITYen
dc.address.alternative日本大学理工学部数学科ja
dc.address.alternative能力開発総合大学校東京校情報技術科ja
dcterms.accessRightsopen access-
出現コレクション:1514 Computer Algebra : Design of Algorithms, Implementations and Applications

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

Export to RefWorks


出力フォーマット 


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