TY - BOOK AU - Calmet Jacques ED - International Conference on Artificial Intelligence and Symbolic Mathematical Computing(1st : 1992 : Germany ) ED - International Conference on Artificial Intelligence and Symbolic Mathematical Computing 1st TI - Artificial intelligence and symbolic mathematical computing : proceedings U1 - 6.3 PY - 1993/// CY - Berlin PB - Springer Verlag KW - Artificial intelligence KW - Symbolic mathematical computation ER -