Mendeley出力
＜図書＞
From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
| 責任表示 | editor, André Thayse ; authors, Jean-Louis Binot ... [et al.] |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Chichester ; New York : Wiley , c1991 |
| 本文言語 | 英語 |
| 大きさ | xx, 535 p. : ill. ; 25 cm |
| 概要 | Focusing on the key application domains of AI, explains the role of logics and formal theories (particularly logic programming) in areas such as natural language processing, speech understanding, expe...t system design, truth maintenance systems, and requirement engineering. This volume, and two preceding works, From standard logic to logic programming and From modal logic to deductive databases, form a complete and consistent exposition of the role of logics in AI. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 自動書庫 | 007.1/F 48/1 | 1991 |
|
068172194004988 |
|
|||
|
|
|
理系図 自動書庫 | 007.1/Th 1 | 1991 |
|
068252191006674 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | Thayse, André, 1940- Binot, Jean-Louis |
| 件 名 | LCSH:Natural language processing (Computer science) LCSH:Expert systems (Computer science) LCSH:Logic, Symbolic and mathematical LCSH:Artificial intelligence |
| 分 類 | LCC:QA76.9.N38 DC20:006.3 |
| 書誌ID | 1000034233 |
| ISBN | 0471924318 |
| NCID | BA13074954 |
| 巻冊次 | ISBN:0471924318 ; PRICE:$68.90 |
| 登録日 | 2009.09.10 |
| 更新日 | 2009.09.17 |