資料詳細

  • 1 件中、 1 件目

【図書】 制約論理プログラミング

知識情報処理シリーズ --
溝口文雄 ／〔ほか〕編   -- 共立出版 -- １９８９．１１ -- ２２ｃｍ -- ２０２ｐ

資料詳細

タイトル 制約論理プログラミング
シリーズ名 知識情報処理シリーズ
著者名等 溝口文雄 ／〔ほか〕編  
出版 共立出版 １９８９．１１
大きさ等 ２２ｃｍ ２０２ｐ
分類 007.64
件名 プログラミング（電子計算機）
注記 監修：淵一博　執筆：古川康一ほか
内容 各章末：参考文献
要旨 「定性推論」でも取り上げられていた制約処理の問題をより制約論理プログラミングという統一的視野でみたのが、本書の内容である。制約論理プログラミングは、論理プログラミングをより応用寄りに近づける技術として、最近になって世界中で大変注目を浴びている。
目次 制約論理プログラミングの概要；制約解消系；単一化から制約へ；Ｐｒｏｌｏｇ　３入門；制約論理プログラミング言語ＣＨＩＰ；制約論理型言語の設計；情報の部分性と制約プログラミング；制約概念の応用１　ＬＳＩ論理設計への応用；制約概念の応用２　計算機室機器レイアウト問題解決へのＥＳＰの応用；制約概念の応用３　スケジューリング・エキスパート・システム
ISBN(13)、ISBN 　　 4-320-02469-9
書誌番号 1190332127
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190332127

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/2496 一般書 利用可 - 0003591182 iLisvirtual

ページの先頭へ