ICOTジャーナル (No.33) 1993年3月
[目次]
- 特集 第五世代コンピュータ国際会議1992
- [招待講演]
- 論理、計算機科学および人工知能:歴史的視点
- シラキュース大学教授(米国)
- J. A. Robinson
- 述語としてのプログラム
- オックスフォード大学教授(英国)
- C. A. R. Hoare
- [パネル討論]
- 21世紀の情報処理への出発点
- 座長 Robert A.Kowalski
- パネリスト Herve Gallaire
- Ross Overbeek
- Peter Wegner
- 古川康一
- 内田俊一
www-admin@icot.or.jp