Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Lecture Notes in Computer Science
Price: 8461 JPY
Availability: OutOfStock

価格

¥ 8.461

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月20日 - 年12月2日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Lecture Notes in Computer Science

2019 edition

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

477 pages, 28 Illustrations, color; 2823 Illustrations, black and white; XXI, 477 p. 2851 illus., 28

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2019年8月14日
ISBN13	9783030290252
出版社	Springer Nature Switzerland AG
ページ数	477
寸法	150 × 220 × 10 mm · 759 g
言語	フランス語
編集者	Cerrito, Serenella
編集者	Popescu, Andrei