| Record ID | marc_records_scriblio_net/part15.dat:229195786:736 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part15.dat:229195786:736?format=raw |
LEADER: 00736nam 2200241 a 4500
001 82072881
003 DLC
005 19841107000000.0
008 820719s1983 enka b 00110 eng
010 $a 82072881
020 $a0121412520 (pbk.)
020 $a0121412504 (hard)
050 0 $aQA76.95$b.B86 1983
082 0 $a511.3$219
100 10 $aBundy, Alan.
245 14 $aThe computer modelling of mathematical reasoning /$cAlan Bundy.
260 $aLondon ;$aNew York :$bAcademic Press,$c1983.
300 $axiv, 322 p. :$bill. ;$c23 cm.
504 $aBibliography: p. 312-317.
500 $aIncludes index.
650 0 $aMathematics$xData processing.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aAutomatic theorem proving.