Artificial Intelligence and Symbolic Computation

7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

  • Bruno Buchberger
  • John Campbell
Conference proceedings AISC 2004

DOI: 10.1007/b100361

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

Table of contents

  1. Front Matter
  2. Invited Presentations

  3. Papers

    1. Jørgen Villadsen
      Pages 38-51
    2. Andreas Dolzmann, Lorenz A. Gilch
      Pages 80-93
    3. Christelle Scharff, Leo Bachmair
      Pages 103-117
    4. Tetsuo Ida, Dorin Ţepeneu, Bruno Buchberger, Judit Robu
      Pages 132-142
    5. I. Medina-Bulo, F. Palomo-Lozano, J. A. Alonso-Jiménez, J. L. Ruiz-Reina
      Pages 171-184
    6. Nao Hirokawa, Aart Middeldorp
      Pages 185-198
    7. Tom Kelsey, Steve Linton, Colva Roney-Dougal
      Pages 199-210
    8. Jesús Aransay, Clemens Ballarin, Julio Rubio
      Pages 222-235

About these proceedings

Keywords

Variable algorithms automated deduction automated reasoning computational logics computational mathematics computeralgebra constraint processing expert system intelligence proving semantics symbolic computation theorem proving systems verification

Editors and affiliations

  • Bruno Buchberger
    • 1
  • John Campbell
    • 2
  1. 1.Research Institute for Symbolic ComputationJohannes Kepler UniversityLinzAustria
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23212-4
  • Online ISBN 978-3-540-30210-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349