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)

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


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
  • 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