この商品を友人に教える:
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science Nachum Dershowitz 2007 edition
価格
¥ 8.444
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月24日 - 年12月4日
クリスマスプレゼントは1月31日まで返品可能です
Nachum Dershowitz の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science
Nachum Dershowitz
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
564 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2007年10月8日 |
| ISBN13 | 9783540755586 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 564 |
| 寸法 | 155 × 235 × 29 mm · 884 g |
| 言語 | フランス語 |
| 編集者 | Dershowitz, Nachum |
| 編集者 | Voronkov, Andrei |