Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers - Campbell, John A.; Campbell, John A.; Roanes-Lozano, Eugenio; Roanes-Lozano, Eugenio (Springer Berlin Heidelberg : Imprint: Springer, 2001)