Conference on automated deduction (6th  New york, 1982) <br/><br/>
6th conference on automated deduction   
ed, by D. W. Loveland. 
 - Berlin  Springer-Verlag  1982 
 - vii, 389p. 
 - Lecture notes in computer science  No.138 .
<br/><br/><label>ISBN: </label>3540115587 
<br/><br/><label>Dewey Class. No.: </label>001.6406  / N82