ダウンロード数: 161
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
1295_06.pdf | 740.34 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | 陳, 凌鈞 | ja |
dc.contributor.author | 小林, 英恒 | ja |
dc.contributor.author | 村尾, 裕一 | ja |
dc.contributor.author | 鈴木, 秀男 | ja |
dc.contributor.alternative | Chen, Lingjun | en |
dc.contributor.alternative | Kobayashi, Hidetsune | en |
dc.contributor.alternative | Murao, Hirokazu | en |
dc.contributor.alternative | Suzuki, Hideo | en |
dc.date.accessioned | 2007-06-15T08:17:29Z | - |
dc.date.available | 2007-06-15T08:17:29Z | - |
dc.date.issued | 2002-11 | - |
dc.identifier.issn | 1880-2818 | - |
dc.identifier.uri | http://hdl.handle.net/2433/42596 | - |
dc.format.extent | 758113 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | jpn | - |
dc.publisher | 京都大学数理解析研究所 | ja |
dc.subject.ndc | 410 | - |
dc.title | A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications) | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AN00061013 | - |
dc.identifier.jtitle | 数理解析研究所講究録 | ja |
dc.identifier.volume | 1295 | - |
dc.identifier.spage | 42 | - |
dc.identifier.epage | 50 | - |
dc.textversion | publisher | - |
dc.sortkey | 06 | - |
dcterms.accessRights | open access | - |
出現コレクション: | 1295 Computer Algebra : Algorithms, Implementations and Applications |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。