Automated deduction-CADE-13 :  13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / 
 CADE-13 
M. A. McRobbie and J. K. Slaney, eds. 
 - Berlin :  Springer,  1996 
 - 764 p. 
 - Lecture notes in computer science.  Lecture notes in artificial intelligence ;  no. 1104 .
<br/><br/><label>ISBN: </label>3540615113 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Automatic theorem proving--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / I57 1996