Automated reasoning and its applications : essays in honor of Larry Wos 

 - Cambridge, Mass:  MIT Press,  1997 
 - viii, 247 p. ; 24 cm., hbk. : alk. paper 
<br/><br/><label>ISBN: </label>9780262220552 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>511.3 VER