Edmund M Clarke
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science Edmund M Clarke

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science
Price: 8445 JPY
Availability: OutOfStock
Author: Edmund M Clarke

価格

¥ 8.445

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

Edmund M Clarke の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science

Edmund M Clarke

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.

527 pages, 67 black & white illustrations, 4 colour illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2011年1月4日
ISBN13	9783642175107
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	517
寸法	155 × 236 × 28 mm · 791 g
言語	ドイツ語
編集者	Clarke, Edmund M., Jr.
編集者	Voronkov, Andrei