Mendeley出力
＜図書＞
Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
| 責任表示 | Franz Baader, Andrei Voronkov (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c2005 |
| 本文言語 | 英語 |
| 大きさ | xi, 562 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2...05. The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6948011 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2005 |
|
061212005000835 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | LPAR (11th : 2004 : Montevideo, Uruguay) Baader, Franz Voronkov, A. (Andreĭ), 1959- |
| 書誌ID | 1001268205 |
| ISBN | 3540252363 |
| NCID | BA71424394 |
| 巻冊次 | ISBN:3540252363 |
| 登録日 | 2009.09.18 |
| 更新日 | 2017.02.18 |