Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science - Jaques Calmet - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - 1996年9月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jaques Calmet
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science

価格
₩ 81.200
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

384 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年9月11日
ISBN13 9783540617327
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 384
寸法 156 × 234 × 20 mm   ·   553 g
言語 ドイツ語  
編集者 Calmet, Jacques C.
編集者 Campbell, J.a.
編集者 Pfalzgraf, Jochen (University of Linz, Austria)
すべて表示

Jaques Calmetの他の作品を見る

Jaques Calmetのすべてを見る ( 例： Paperback Book )