| Record ID | marc_loc_2016/BooksAll.2016.part31.utf8:183363855:990 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part31.utf8:183363855:990?format=raw |
LEADER: 00990cam a22002534a 4500
001 2004051866
003 DLC
005 20051206103725.0
008 040521s2005 enka b 001 0 eng
010 $a 2004051866
020 $a052183449X (hardback)
040 $aDLC$cDLC$dDLC$dDLC
042 $apcc
050 00 $aQA76.9.A96$bB84 2005
082 00 $a006.3/33$222
245 00 $aRippling :$bmeta-level guidance for mathematical reasoning /$cAlan Bundy ... [et al.].
260 $aCambridge ;$aNew York :$bCambridge University Press,$c2005.
300 $axiv, 202 p. :$bill. ;$c24 cm.
440 0 $aCambridge tracts in theoretical computer science ;$v56
504 $aIncludes bibliographical references (p. 193-199) and index.
650 0 $aAutomatic theorem proving.
650 0 $aLogic, Symbolic and mathematical.
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam051/2004051866.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam051/2004051866.html