Artificial intelligence and symbolic mathematical computing  International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings /  [Book :] 
Jacques Calmet, John A. Campbell (eds). 
 - Berlin ;  New York :  Springer-Verlag,  c1993. 
 - 305 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science ;  737 .
<br/><br/>Includes bibliographical references. 
<br/><br/> All Ages. 
<br/><br/><label>ISBN: </label>0387573224 (alk. paper : U.S.) 
<br/><br/><label>LCCN: </label>93036465  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Congresses.<br/>Logic, Symbolic and mathematical--Congresses.
<br/><br/><label>LC Class. No.: </label>Q334  / .I5488 1992 
<br/><br/><label>Dewey Class. No.: </label>006.3 
<br/><br/><label>National Library of Medicine Call No.: </label> / C A