Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings - Lecture Notes in Artificial Intelligence - D Basin - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540223450 - 2004年6月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings - Lecture Notes in Artificial Intelligence 2004 edition

価格
¥ 16.355
税抜

遠隔倉庫からの取り寄せ

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

まだ評価がありません

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland.


491 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2004年6月22日
ISBN13 9783540223450
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 491
寸法 155 × 235 × 26 mm   ·   1,18 kg
言語 ドイツ語  
編集者 Basin, David
編集者 Rusinowitch, Michael

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