by International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain)
This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti?cial Intelligence and Symbolic Computation (AISC 2000). The…