Design and implementation of symbolic computation systems :  International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / 
Jacques Calmet and Carla Limongelli, eds. 
 - Berlin :  Springer,  1996 
 - 356 p. 
 - Lecture notes in computer science ;  v. 1128 .
<br/><br/><label>ISBN: </label>3540616977 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design--Congresses<br/>Automatic theorem proving--Congresses<br/>Mathematics--Data processing--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 D26  / I58 1996