Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

CiNii 所蔵館 54館

書誌事項

タイトル
"Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings"
責任表示
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
出版者
  • Springer Verlag
出版年月
  • c1995
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Includes bibliographical references

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ