Artificial intelligence and symbolic mathematical computation :  international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings / 
ed. Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. 
 - Berlin :   Springer,   1996. 
 - viii, 379 p. :  il. ;  24 cm. 
 - Lecture notes in computer science ;   v. 1138 LNCS ;   v. 1138 .
<br/><br/><label>ISBN: </label>3540617329 
<br/><br/><label>Descriptores--Materias: </label><br/>Manipulación algebraica.<br/>Algebraic manipulation.<br/>Inteligencia artificial.<br/>Artificial intelligence.<br/>Análisis numérico.<br/>Matemática discreta.<br/>Discrete mathematics.<br/>Lógica matemática-Computación.<br/>Mathematical logic-Computation.