書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- カテゴリーロンテキ ケイサンキ スウガク ノ ソウゴウテキ ケンキュウ
- 著者・編者
- 河原康雄, 九州大学
- 著者標目
- 河原, 康雄 カワハラ, ヤスオ
- 出版年月日等
- 1996-1998
- 出版年（W3CDTF）
- 19961998
- 数量
- 冊
- その他のタイトル
- 研究種目 基盤研究(A)
- 件名標目
- カテゴリー論 カテゴリーロン計算機科学 ケイサンキカガク計算論理学 ケイサンロンリガク関係計算 カンケイケイサン人工知能 ジンコウチノウプログラミング意味論 プログラミングイミロン計算量理論 ケイサンリヨウリロン構成的プログラミング コウセイテキプログラミング