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 - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540755586 - 2007年10月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

価格
¥ 8.444
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月24日 - 年12月4日
クリスマスプレゼントは1月31日まで返品可能です
Nachum Dershowitz の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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

Nachum Dershowitzの他の作品を見る

同じ出版社からのその他の記事