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

CiNii Available at 54 libraries

Bibliographic Information

Title
"Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings"
Statement of Responsibility
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Publisher
  • Springer Verlag
Publication Year
  • c1995
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top