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

Author(s)

• TABLEAUX
• Baumgartner, Peter
• Hähnle, Reiner
• Posegga, Joachim

Bibliographic Information

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.)

（Lecture notes in computer science, 918 . Lecture notes in artificial intelligence）

Springer Verlag, c1995

Note

Includes bibliographical references

Details

• NCID: BA25332128
• ISBN:
  • 3540593381
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York ; Tokyo
• Pages/Volumes: x, 352 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Logic programming -- Congresses
  • LCSH : Reasoning -- Congresses
• Parent Bibliography ID:
  • BA00009279