Artificial Intelligence and Symbolic Computation

International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers

  • John A. Campbell
  • Eugenio Roanes-Lozano
Conference proceedings AISC 2000

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

  3. Contributed Papers and Poster Summaries

    1. Olga Caprotti, Martijn Oostdijk
      Pages 53-64
    2. Jacques Calmet, Peter Kullmann, Morio Taneda
      Pages 65-77
    3. Guilherme Bittencourt, Isabel Tonin
      Pages 78-91
    4. José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
      Pages 92-106
    5. Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret
      Pages 107-114
    6. Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
      Pages 115-126
    7. Martine Ceberio, Laurent Granvilliers
      Pages 127-141
    8. Eugenio Roanes-Macías, Eugenio Roanes-Lozano
      Pages 157-173
    9. Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt
      Pages 174-183
    10. Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin
      Pages 219-222

About these proceedings

Keywords

Automat artificial intelligence automated theorem proving expert system intelligence learning machine learning modeling multi-agent system proving theorem proving

Editors and affiliations

  • John A. Campbell
    • 1
  • Eugenio Roanes-Lozano
    • 2
  1. 1.University College LondonLondonUK
  2. 2.Dept. Algebra, Fac. EducaciónUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44990-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42071-2
  • Online ISBN 978-3-540-44990-4
  • Series Print ISSN 0302-9743
  • About this book