ダウンロード数: 111
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
0296-2.pdf | 1.04 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | NAKAJIMA, REIJI | en |
dc.contributor.author | HONDA, MICHIO | en |
dc.contributor.author | NAKAHARA, HAYAO | en |
dc.contributor.alternative | 中島, 玲二 | ja |
dc.contributor.alternative | 本田, 道夫 | ja |
dc.contributor.alternative | 中原, 早生 | ja |
dc.contributor.transcription | ナカジマ, レイジ | ja |
dc.contributor.transcription | ホンダ, ミチオ | ja |
dc.contributor.transcription | ナカハラ, ハヤオ | ja |
dc.date.accessioned | 2010-03-08T08:58:41Z | - |
dc.date.available | 2010-03-08T08:58:41Z | - |
dc.date.issued | 1977-05 | - |
dc.identifier.issn | 1880-2818 | - |
dc.identifier.uri | http://hdl.handle.net/2433/106235 | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | 京都大学数理解析研究所 | ja |
dc.subject.ndc | 410 | - |
dc.title | Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究) | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AN00061013 | - |
dc.identifier.jtitle | 数理解析研究所講究録 | ja |
dc.identifier.volume | 296 | - |
dc.identifier.spage | 14 | - |
dc.identifier.epage | 25 | - |
dc.textversion | publisher | - |
dc.sortkey | 02 | - |
dc.address | Kyoto University | en |
dc.address | Kagawa University | en |
dc.address | Kyoto University | en |
dc.address.alternative | 京都大学数理解析研究所 | ja |
dc.address.alternative | 香川大学経済学部 | ja |
dc.address.alternative | 京都大学理学部 | ja |
dcterms.accessRights | open access | - |
出現コレクション: | 0296 計算機構の数学的研究 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。