M Baaz
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence M Baaz 2002 edition

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence
Price: 8242 JPY
Availability: OutOfStock
Author: M Baaz

価格

¥ 8.242

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月19日 - 年12月1日

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence

M Baaz

2002 edition

Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

470 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2002年10月2日
ISBN13	9783540000105
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	470
寸法	155 × 235 × 24 mm · 727 g
言語	ドイツ語
編集者	Baaz, Matthias
編集者	Voronkov, Andrei