TY - BOOK AU - Calmet Jacques ED - International Conference on Integration Symbolic Mathematical Computation and Artificial Intilligence( 2nd : 1994 : Cambridge ) ED - International Conference on Integration Symbolic Mathematical Computation and Artificial Intilligence 2nd TI - AISMC-2 : selected papers : proceedings U1 - 6.3 PY - 1995/// CY - Berlin PB - Springer Verlag KW - Artificial intelligence KW - Symbolic mathematical computation ER -