Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings - Lecture Notes in Computer Science
Price: 8450 JPY
Availability: OutOfStock

価格

¥ 8.450

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings - Lecture Notes in Computer Science

1st ed. 2021 edition

467 pages, 13 Illustrations, color; 74 Illustrations, black and white; XIX, 467 p. 87 illus., 13 ill

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2021年9月1日
ISBN13	9783030860585
出版社	Springer Nature Switzerland AG
ページ数	467
寸法	150 × 220 × 10 mm · 741 g
言語	ドイツ語
編集者	Das, Anupam
編集者	Negri, Sara