TY  - BOOK
AU  - Zhang, H
TI  - Automated mathematical induction
SN  - 792340108
U1  - 511.22 ZHA 
PY  - 1996///
CY  - Boston
PB  - Kluwer Academic
KW  - Automatic theorem proving
ER  -