WEKO3
アイテム
<論文>記号論理学の教育とそれを支援するPrologインタプリタの開発について
https://lib.cku.repo.nii.ac.jp/records/1270
https://lib.cku.repo.nii.ac.jp/records/12708695c29c-245f-4ec0-9fd1-49824a9783cc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00000181898.pdf (1.3 MB)
|
|
| Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-12-15 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | <論文>記号論理学の教育とそれを支援するPrologインタプリタの開発について | |||||||||||||
| 言語 | ja | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | <Articles>Education of SYmbolic Logic and Development of a Supporting Prolog Interpreter | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||
| item_2_source_id_1 | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN10124437 | |||||||||||||
| 著者 |
鑰山, 徹
× 鑰山, 徹
|
|||||||||||||
| bibliographic_information |
ja : 千葉経済論叢 en : The Chiba-Keizai ronso 号 22, p. 1-25, 発行日 2000-07-31 |
|||||||||||||
| item_2_source_id_20 | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 0915972X | |||||||||||||
