制約論理プログラミング(知識情報処理シリーズ ; 別巻 2)

• 資料種別: 図書
• ISBN: 4-320-02469-9
• タイトル: 制約論理プログラミング
• タイトルよみ: セイヤク ロンリ プログラミング
• 著者・編者: 溝口文雄 [ほか]編
• シリーズタイトル: 知識情報処理シリーズ ; 別巻 2
• 著者標目: 溝口, 文雄, 1941- ミゾグチ, フミオ, 1941- ( 00045896 )典拠
• 出版事項: 東京 : 共立出版
• 出版年月日等: 1989.11
• 出版年（W3CDTF）: 1989
• 数量: 202p
• 大きさ: 22cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠
• NDC8版: 007.64
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 監修: 淵一博 執筆: 古川康一ほか
• 書誌注記: 各章末: 参考文献
• 入手条件・定価: 3090円 (税込)
• 所蔵機関: 国立国会図書館
• 請求記号: M159-E893
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000002015295; http://id.ndl.go.jp/bib/000002015295
• 全国書誌番号: 90009242
• 目録規則: 日本目録規則新版予備版
• 整理区分コード: 111

• 要約等: 人工知能（AI）開発の強力な方法としてクローズアップされている制約に基づく問題解決を詳述。（提供元: 出版情報登録センター（JPRO））

目次

第1章 制約論理プログラミングの概要

第2章 制約解消系

第3章 単一化から制約へ

第4章 PrologIII入門

第5章 制約論理プログラミング言語CHIP