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

Buy this book

eBook 67,82 €
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 (1 chapters)

  • From Kripke Models to Algebraic Counter-Valuations

    Sara Negri, Jan von Plato

    Pages

    Preview Buy Chapter 30,19 €

Buy this book

eBook 67,82 €
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...

Recommended for you

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