| 000 | 00382nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 211224s9999 xx 000 0 und d | ||
| 020 | _a792340108 | ||
| 082 | _a511.22 ZHA | ||
| 245 | 0 | _aAutomated mathematical induction | |
| 260 |
_aBoston: _bKluwer Academic, _c1996 |
||
| 300 | _a222 p. : ill. ; 25 cm., hbK : alk. paper | ||
| 650 | _aAutomatic theorem proving | ||
| 700 | _aZhang, H | ||
| 999 |
_c24840 _d24840 |
||