Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science - Peter Baumgartner - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540593386 - 1995年4月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Peter Baumgartner
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

価格
¥ 8.610
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月20日 - 年10月30日
Peter Baumgartner の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloss Rheinfels, St Goar, Germany in May 1995. This book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, and higher-order logic.

361 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1995年4月26日
ISBN13 9783540593386
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 361
寸法 155 × 233 × 19 mm   ·   526 g
言語 ドイツ語  
編集者 Baumgartner, Peter
編集者 Hahnle, Reiner
編集者 Posegga, Joachim

Peter Baumgartnerの他の作品を見る

すべて表示

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

Peter Baumgartnerのすべてを見る