Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

Author(s)

• TABLEAUX
• Murray, Neil V.

Bibliographic Information

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

Neil V. Murray (ed.)

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

Springer, c1999

Note

Includes bibliographical references

Details

• NCID: BA41656936
• ISBN:
  • 3540660860
• LCCN: 99032019
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: x, 323 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
  • DC21 : 006.3/33
• Subject Headings:
  • LCSH : Automatic theorem proving Congresses
• Parent Bibliography ID:
  • BA00009279