7th International Conference on Automated Deduction   
ed by R. E. Shostak 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>006.3  /