AISMC. Artificial Intelligence and Symbolic Mathematical Computing. International Conference. ( 1 ; 1992 ; Karlsruhe ) <br/><br/>
Artificial intelligence and symbolic mathematical computing  International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992  proceedings 
eds. Jacques Calmet, J. A. Campbell 
 - Berlin;  Heidelberg;  New York   Springer  1993 
 - VIII, 305 p. ; 23 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  737 .
<br/><br/><label>ISBN: </label>0-387-57322-4;  3-540-57322-4 
<br/><br/><label>Source: </label>C-182595 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrări conferințe
<br/><br/><label>Universal Decimal Class. No.: </label>004.8(063)