所蔵一覧
概要
|
知識情報処理シリーズ ; 別巻2
制約論理プログラミング
共立出版
出版年月日
1989/11
ISBN
4320024699
|
利用状況
予約はありません
要旨・目次
|
要旨
「定性推論」でも取り上げられていた制約処理の問題をより制約論理プログラミングという統一的視野でみたのが、本書の内容である。制約論理プログラミングは、論理プログラミングをより応用寄りに近づける技術として、最近になって世界中で大変注目を浴びている。
目次
|
日外アソシエーツ「BOOKデータASPサービス」より
BOOKデータASPサービスで提供される内容要旨・目次情報の著作権は、紀伊國屋書店、トーハン、日本出版販売、日外アソシエーツの４社に帰属します。また著者情報および表紙書影データの著作権は、各出版者に帰属します。
このデータの無断複製・無断転載を禁止します。
詳細
| 所蔵区分 | 10 所蔵中 |
|---|---|
| 和洋区分 | 和書 |
| 書名,巻次,シリーズ名 | 制約論理プログラミング 知識情報処理シリーズ ; 別巻2 |
| 著者名 | 溝口文雄編 古川康一編 J-L.Lassez編 |
| ISBN | 4320024699 |
| 注記 | 監修: 淵一博 シリーズの編者: 古川康一, 溝口文雄 シリーズの監修者: 淵一博 各章末: 参考文献 |
| 出 版 地 | 東京 |
| 出 版 者 | 共立出版 |
| 出版年月日 | 1989/11 |
| ペ ー ジ | viii, 202p |
| サ イ ズ | 22cm |
| 絵本用分類記号 | 007.64/Mi93 |
| 分類記号 | 007.64 |
| 著者記号 | Mi93 |
| 保管場所 | 90 大学図書館 |
| 配架場所 | 40 分室/F棟大分室 |
| 件名 | BSH:電子計算機 -- プログラミング NDLSH:プログラミング(電子計算機) |
所蔵一覧
所蔵1 冊