Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

  • Jacques Calmet
  • Belaid Benhamou
  • Olga Caprotti
  • Laurent Henocque
  • Volker Sorge

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. AISC Regular Talks

    1. Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki
      Pages 26-37
    2. Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Víctor Maojo, Luis de Ledesma, José Crespo et al.
      Pages 38-50
    3. Marc Aiguier, Diane Bahrami, Catherine Dubois
      Pages 51-63
    4. Robert M. Corless, D. J. Jeffrey
      Pages 76-89
    5. Rolf Nossum, Luciano Serafini
      Pages 90-101
    6. Li Bai, Yihui Liu
      Pages 128-135
    7. Regina Bernhaupt, Jochen Pfalzgraf
      Pages 168-180
    8. Stefan Ratschan
      Pages 181-195

About these proceedings

Keywords

Automat artificial intelligence automated reasoning automated theorem proving intelligence modeling proving theorem proving

Editors and affiliations

  • Jacques Calmet
    • 1
  • Belaid Benhamou
    • 2
  • Olga Caprotti
    • 3
  • Laurent Henocque
    • 4
  • Volker Sorge
    • 5
  1. 1.University of Karlsruhe (TH)KarlsruheGermany
  2. 2.CMIUniversité de ProvenceMarseille Cedex 13France
  3. 3.Research Institute for Symbolic Computation (RISC-Linz)Johannes Kepler UniversityLinzAustria
  4. 4.ESILUniversité de la MéditerannéeMarseille Cedex 09France
  5. 5.School of Computer ScienceUniversity of BirminghamBirminghamUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45470-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43865-6
  • Online ISBN 978-3-540-45470-0
  • Series Print ISSN 0302-9743
  • About this book