WEKO3
アイテム
現実的構成的微積分法の形式的体系について
http://hdl.handle.net/10965/00003518
http://hdl.handle.net/10965/000035187c687e19-68ac-4fd4-8af9-83c710dffc2b
Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-01-28 | |||||
タイトル | ||||||
タイトル | 現実的構成的微積分法の形式的体系について | |||||
タイトル | ||||||
タイトル | A Formal System of Feasible Constructive Calculus | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
雑誌書誌ID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN10232768 | |||||
ページ属性 | ||||||
内容記述タイプ | Other | |||||
内容記述 | P | |||||
論文名よみ | ||||||
その他のタイトル | ゲンジツテキ コウセイテキ ビセキ ブンポウ ノ ケイシキテキ タイケイ ニツイテ | |||||
著者 |
八杉, 満利子
× 八杉, 満利子 |
|||||
著者所属(日) | ||||||
値 | 京都産業大学理学部 | |||||
書誌情報 |
京都産業大学論集. 自然科学系列. I en : Acta humanistica et scientifica universitatis Sangio Kyotiensis. Natural science series. I 巻 24, p. 30-57, 発行日 1995-03 |
|||||
表示順 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 3 | |||||
アクセション番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | KJ00000596486 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0916-5916 |