Proceedings

AISMC: Integrating symbolic mathematical computation and artificial intelligence

• AISMC-1
  August 1992
  Karlsruhe, Germany
  Proceedings: Calmet J., Campbell J.A. Editors, Lecture notes in computer science 737, Springer, 1993

• AISMC-2
  August 1994
  Cambridge, United Kingdom
  Proceedings: Calmet J., Campbell J.A. Editors, Lecture notes in computer science 958, Springer, Berlin, 1995
  ISBN: 3-540-60156-2

• AISMC-3
  September 1996
  Steyr, Austria
  Proceedings: Calmet J., Campbell J.A., Pfalzgraf J. Editors, Lecture notes in computer science 1138, 1996
  ISBN: 3-540-61732-9

Go to:
Proceedings
Literature
CAIN Home page