ダウンロード数: 143
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
1125-6.pdf | 914.73 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | 小西, 善二郎 | ja |
dc.contributor.author | 二村, 良彦 | ja |
dc.contributor.alternative | Konishi, Zenjiro | en |
dc.contributor.alternative | Futamura, Yoshihiko | en |
dc.contributor.transcription | コニシ, ゼンジロウ | ja |
dc.contributor.transcription | フタムラ, ヨシヒコ | ja |
dc.date.accessioned | 2008-07-09T10:10:47Z | - |
dc.date.available | 2008-07-09T10:10:47Z | - |
dc.date.issued | 2000-01 | - |
dc.identifier.issn | 1880-2818 | - |
dc.identifier.uri | http://hdl.handle.net/2433/63582 | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | jpn | - |
dc.publisher | 京都大学数理解析研究所 | ja |
dc.subject.ndc | 410 | - |
dc.title | 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理) | ja |
dc.title.alternative | A theorem proving system and a terminating process for generalized partial computation (GPC) (Program Transformation, Symbolic Computation and Algebraic Manipulation) | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AN00061013 | - |
dc.identifier.jtitle | 数理解析研究所講究録 | ja |
dc.identifier.volume | 1125 | - |
dc.identifier.spage | 59 | - |
dc.identifier.epage | 64 | - |
dc.textversion | publisher | - |
dc.sortkey | 06 | - |
dc.address | 早稲田大学理工学総合研究センター | ja |
dc.address | 早稲田大学理工学部 | ja |
dc.address.alternative | Advanced Research Institute for Science and Engineerign, Waseda University | en |
dc.address.alternative | School of Science and Engineering, Waseda University | en |
dcterms.accessRights | open access | - |
出現コレクション: | 1125 プログラム変換と記号・数式処理 |
![](/dspace/image/articlelinker.gif)
このリポジトリに保管されているアイテムはすべて著作権により保護されています。