Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

  • Bernhard Beckert
Conference proceedings TABLEAUX 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3702)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3702)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Research Papers

    1. Swen Jacobs, Uwe Waldmann
      Pages 153-168
    2. Ken Kaneiwa, Riichiro Mizoguchi
      Pages 169-184
    3. Tatjana Lutovac, James Harland
      Pages 185-200
    4. Swaha Miller, David A. Plaisted
      Pages 217-230
    5. Neil V. Murray, Erik Rosenthal
      Pages 231-244
    6. Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
      Pages 277-291
  4. System Descriptions

    1. Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
      Pages 307-311
    2. Philipp Correll, Gernot Stenz
      Pages 312-317
    3. Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
      Pages 318-322
    4. Thorsten Liebig, Michael Halfmann
      Pages 323-327
    5. Nicola Olivetti, Gian Luca Pozzato
      Pages 328-332
    6. Thomas Raths, Jens Otten, Christoph Kreitz
      Pages 333-337
    7. Gernot Stenz
      Pages 338-342
  5. Back Matter

About these proceedings

Keywords

Automat automated reasoning knowledge engineering proving semantic web software verification theorem proving verification

Editors and affiliations

  • Bernhard Beckert
    • 1
  1. 1.Department of Computer ScienceUniversity of Koblenz-Landau 

Bibliographic information

  • DOI https://doi.org/10.1007/11554554
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28931-9
  • Online ISBN 978-3-540-31822-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site