参考文献

以下の文献などが参考になります． (一部，私の手元にないものもあります)
  1. 古川康一, 溝口文雄(編). 知識プログラミング, 知識情報処理シリーズ, 第8巻. 共立出版, 1988.
  2. 古川康一, 溝口文雄(編). 制約論理プログラミング, 知識情報処理シリーズ, 別2. 共立出版, 1989.
  3. 橋田浩一, 白井英俊. 条件付単一化. コンピュータ・ソフトウェア, Vol.3, No.4, pp. 28-38, 10月 1986.
  4. 溝口文雄, 古川康一, 安西祐一郎(編). 定性推論, 知識情報処理シリーズ, 別2. 共立出版, 1989.
  5. 相場亮. 制約論理プログラミング. bit, Vol.20, No.1, pp. 89-97, 1月 1988.
  6. ニコリ編集部. パズル通信 ニコリ.
電子情報工学特別実験のページへ戻る