Mendeley出力
＜図書＞
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.)
(Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence)
| 出版情報 | Berlin ; Tokyo : Springer , c2002 |
|---|---|
| 巻冊次 | ISBN:3540000100 
|
| ISBN | 3540000100 |
| 本文言語 | 英語 |
| 大きさ | xiii, 463 p. : ill. ; 24 cm |
[BOOKデータASPサービス] あらすじ／目次
書誌詳細を表示
| 一般注記 | Includes bibliographies and index |
|---|---|
| 著者標目 | *LPAR (9th : 2002 : Tbilisi, Georgia) Baaz, Matthias Voronkov, A. (Andreĭ), 1959- |
| 書誌ID | 1010297586 |
| NCID | BA59311796 |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | 利用注記 | 予約・取寄 | 資料メモ | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|
| 多:B2F小図移管 |
|
007/L49/2514 | 10602020322015 |
|