| Record ID | marc_loc_2016/BooksAll.2016.part29.utf8:209116691:1128 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part29.utf8:209116691:1128?format=raw |
LEADER: 01128cam a22003014a 4500
001 2002072769
003 DLC
005 20080308090838.0
008 020604s2002 enka b 001 0 eng
010 $a 2002072769
020 $a1852336099 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA8.4$b.C64 2002
082 00 $a511.3/0285$221
100 1 $aColton, Simon,$d1973-
245 10 $aAutomated theory formation in pure mathematics /$cSimon Colton.
260 $aLondon ;$aNew York :$bSpringer,$cc2002.
300 $axvi, 380 p. :$bill. ;$c24 cm.
490 1 $aDistinguished dissertations
504 $aIncludes bibliographical references (p. [365]-373) and index.
650 0 $aMathematics$xMethodology$xData processing.
650 0 $aArtificial intelligence.
650 0 $aAutomatic theorem proving.
650 0 $aExpert systems (Computer science)
830 0 $aCPHC/BCS distinguished dissertations.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0817/2002072769-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0817/2002072769-t.html