Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15-17, 1996 - Proceedings - Lecture Notes in Computer Science - Pierangelo Miglioli - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540612087 - 1996年4月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Pierangelo Miglioli
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15-17, 1996 - Proceedings - Lecture Notes in Computer Science

価格
¥ 8.461
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月20日 - 年12月2日
クリスマスプレゼントは1月31日まで返品可能です
Pierangelo Miglioli の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.

336 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年4月24日
ISBN13 9783540612087
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 336
寸法 156 × 234 × 18 mm   ·   485 g
言語 ドイツ語  
編集者 Miglioli, Pierangelo
編集者 Moscato, Ugo
編集者 Mundici, Daniele
編集者 Ornaghi, Mario

同じ出版社からのその他の記事

Pierangelo Miglioliのすべてを見る