Lecture Notes in Artificial Intelligence

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

Editors: Swart, Harrie de (Ed.)

Free Preview

Buy this book

eBook 67,40 €
price for Spain (gross)
  • ISBN 978-3-540-69778-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase

Table of contents (32 chapters)

Table of contents (32 chapters)
  • Philosophical Aspects of Computerized Verification of Mathematics

    Pages 1-9

    Bruijn, N. G.

  • A Science of Reasoning (Extended Abstract)

    Pages 10-17

    Bundy, Alan

  • Model Checking: Historical Perspective and Example (Extended Abstract)

    Pages 18-24

    Clarke, Edmund M. (et al.)

  • Comparison of Theorem Provers for Modal Logics — Introduction and Summary

    Pages 25-26

    Balsiger, Peter (et al.)

  • FaCT and DLP

    Pages 27-30

    Horrocks, Ian (et al.)

Buy this book

eBook 67,40 €
price for Spain (gross)
  • ISBN 978-3-540-69778-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods
Book Subtitle
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Editors
  • Harrie de Swart
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1397
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69778-7
DOI
10.1007/3-540-69778-0
Edition Number
1
Number of Pages
X, 325
Topics