| Record ID | marc_records_scriblio_net/part25.dat:187436521:1042 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part25.dat:187436521:1042?format=raw |
LEADER: 01042pam 2200265 a 4500
001 96026660
003 DLC
005 19960828155110.4
008 960604s1996 gw a b 001 0 eng
010 $a 96026660
020 $a3540613986 (Berlin : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bM38 1996
082 00 $a516.3/52/028553$220
100 1 $aMcCune, W.$q(William)
245 10 $aAutomated deduction in equational logic and cubic curves /$cW. McCune, R. Padmanabhan.
260 $aBerlin ;$aNew York :$bSpringer,$cc1996.
300 $aix, 231 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v1095.$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references (p. [219]-223) and index.
650 0 $aAutomatic theorem proving.
650 0 $aCurves, Algebraic.
700 1 $aPadmanabhan, R.$q(Ranganathan),$d1938-
830 0 $aLecture notes in computer science ;$v1095.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.