Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science - Jaques Calmet - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540397281 - 2006年9月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jaques Calmet
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science

価格
¥ 8.485
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月30日 - 年12月10日
クリスマスプレゼントは1月31日まで返品可能です
Jaques Calmet の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

Includes refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. This book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, and constraint satisfaction/solving.

269 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2006年9月13日
ISBN13 9783540397281
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 269
寸法 156 × 234 × 15 mm   ·   426 g
言語 ドイツ語  
編集者 Calmet, Jaques
編集者 Ida, Tetsuo
編集者 Wang, Dongming

Jaques Calmetの他の作品を見る

すべて表示

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

Jaques Calmetのすべてを見る