Automated reasoning and its applications : essays in honor of Larry Wos 
edited by Robert Veroff, with Gail W. Pieper 
 - Cambridge, Mass  MIT Press  c1997 
 - viii, 247 p. ; 24 cm., hbk. : alk. paper 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780262220552 
<br/><br/><label>ISSN: </label>96051916 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>511.3 VER