TY  - GEN
AU  - McCasland,Roy
AU  - Bundy,Alan
AU  - Autexier,Serge
TI  - Automated Discovery of Inductive Theorems
KW  - Indukcja (matematyka)
KW  - kaba
KW  - Automatyczne dowodzenie twierdzeń
N1  - Tytuł. nagł; Bibliogr. s. 148-149
ER  -