Automated deduction - CADE-14 :  14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / 
William McCune, ed. 
 - Berlin :  Springer,  1997 
 - 462 p. 
 - Lecture notes in computer science.  Lecture notes in artificial intelligence ;  no. 1249 .
<br/><br/><label>ISBN: </label>3540631046 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / I57 1997