Marta Cialdea Mayer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Lecture Notes in Computer Science Marta Cialdea Mayer 2003 edition

Name: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Lecture Notes in Computer Science
Price: 8449 JPY
Availability: OutOfStock
Author: Marta Cialdea Mayer

価格

¥ 8.449

税抜

遠隔倉庫からの取り寄せ

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

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

Marta Cialdea Mayer の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Lecture Notes in Computer Science

Marta Cialdea Mayer

2003 edition

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book.

270 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年9月3日
ISBN13	9783540407874
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	270
寸法	155 × 233 × 15 mm · 662 g
言語	ドイツ語
編集者	Cialdea Mayer, Marta
編集者	Pirri, Fiora