McCasland, Roy. <br/><br/>
Automated Discovery of Inductive Theorems / 
Roy McCasland, Alan Bundy, and Serge Autexier. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 148-149. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Indukcja (matematyka).<br/>Automatyczne dowodzenie twierdzeń.