Automated mathematical induction 
edited by H. Zhang 
 - Boston  Kluwer Academic  c1996 
 - 222 p. : ill. ; 25 cm., hbK : alk. paper 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>792340108 
<br/><br/><label>ISSN: </label>96021726 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Induction (Mathematics)
<br/><br/><label>Dewey Class. No.: </label>511.22 ZHA