制約論理プログラミング (知識情報処理シリーズ ; 別巻 2)
制約論理プログラミング
(知識情報処理シリーズ ; 別巻 2)
- 国立国会図書館請求記号
- M159-E893
- 国立国会図書館書誌ID
- 000002015295
資料に関する注記
一般注記：
- 監修: 淵一博 執筆: 古川康一ほか
資料詳細
要約等：
- 人工知能（AI）開発の強力な方法としてクローズアップされている制約に基づく問題解決を詳述。（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
第1章 制約論理プログラミングの概要
第2章 制約解消系
第3章 単一化から制約へ
第4章 PrologIII入門
第5章 制約論理プログラミング言語CHIP
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
千葉県立中央図書館
紙- 請求記号：
- 0071/C48/ﾍ2
- 図書登録番号：
- 9102428191
千葉県立西部図書館
紙- 請求記号：
- 0070/ 15/ 10
- 図書登録番号：
- 1100787640
東京都立多摩図書館
紙- 請求記号：
- 5355-760-10
- 図書登録番号：
- 1123932180
神奈川県立川崎図書館
紙- 請求記号：
- 007.64-15
- 図書登録番号：
- 80132145
横浜市立図書館
紙- 請求記号：
- 007.62496
- 図書登録番号：
- 0003591182
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-320-02469-9
- タイトル
- タイトルよみ
- セイヤク ロンリ プログラミング
- 著者・編者
- 溝口文雄 [ほか]編
- シリーズタイトル
- 著者標目
- 溝口, 文雄, 1941- ミゾグチ, フミオ, 1941- ( 00045896 )典拠
- 出版事項
- 出版年月日等
- 1989.11
- 出版年（W3CDTF）
- 1989