| Record ID | marc_records_scriblio_net/part25.dat:183354569:814 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part25.dat:183354569:814?format=raw |
LEADER: 00814pam 2200241 a 4500
001 96021726
003 DLC
005 19960809090400.3
008 960430r19961996ne a b 000 0 eng
010 $a 96021726
020 $a0792340108 (hardbound : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bA86 1996
082 00 $a511/.22$220
245 00 $aAutomated mathematical induction /$cedited by H. Zhang.
260 $aDordrecht ;$aBoston :$bKluwer Academic,$cc1996.
300 $a222 p. :$bill. ;$c25 cm.
500 $a"Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."
504 $aIncludes bibliographical references.
650 0 $aAutomatic theorem proving.
650 0 $aInduction (Mathematics)
700 1 $aZhang, H.$q(Hantao)
730 0 $aJournal of automated reasoning.