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

価格
S$ 72,50
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月26日 - 2026年1月8日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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のすべてを見る ( 例： Paperback Book )