7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / 
 Automated deduction 
edited by R. E. Shostak 
 - Berlin :  Springer,  1984 
 - 508 p. 
 - Lecture notes in computer science ;  no. 170 .
<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 1984