<論文>記号論理学の教育とそれを支援するPrologインタプリタの開発について

• 鑰山, 徹

書誌事項

タイトル別名

• <Articles>Education of SYmbolic Logic and Development of a Supporting Prolog Interpreter
• 記号論理学の教育とそれを支援するPrologインタプリタの開発について
• キゴウ ロンリガク ノ キョウイク ト ソレ オ シエン スル Prolog インタプリタ ノ カイハツ ニ ツイテ

収録刊行物

• 千葉経済論叢

  千葉経済論叢 (22), 1-25, 2000-07-31

  千葉 : 千葉経済大学

詳細情報

• CRID: 1050564289177273472
• NII論文ID: 110000472408
• NII書誌ID: AN10124437
• NDL書誌ID: 5532487
• ISSN: 0915972X
• Web Site: https://lib.cku.repo.nii.ac.jp/records/1270
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5532487
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles