| Record ID | marc_columbia/Columbia-extract-20221130-006.mrc:222792797:2578 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-006.mrc:222792797:2578?format=raw |
LEADER: 02578fam a22004094a 4500
001 2691365
005 20221012223109.0
008 000404t20002000mau b 001 0 eng
010 $a 00038636
020 $a0792377443 (alk. paper)
035 $a(OCoLC)43845631
035 $a(OCoLC)ocm43845631
035 $9ARE1642CU
035 $a(NNC)2691365
035 $a2691365
040 $aDLC$cDLC$dOrLoB-B
042 $apcc
050 00 $aQA76.9.F67$bK38 2000
082 00 $a004/.01/51$221
100 1 $aKaufmann, Matt.$0http://id.loc.gov/authorities/names/n00003704
245 10 $aComputer-aided reasoning :$ban approach /$cby Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
260 $aBoston :$bKluwer Academic Publishers,$c[2000], ©2000.
300 $axv, 270 pages ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aAdvances in formal methods ;$v3
504 $aIncludes bibliographical references (p. [257]-259) and index.
505 00 $g1.$tIntroduction --$gI.$tPreliminaries.$g2.$tOverview --$gII.$tProgramming.$g3.$tThe Language.$g4.$tProgramming Exercises.$g5.$tMacros --$gIII.$tReasoning.$g6.$tThe Logic.$g7.$tProof Examples --$gIV.$tGaming.$g8.$tThe Mechanical Theorem Prover.$g9.$tHow to Use the Theorem Prover.$g10.$tTheorem Prover Examples.$g11.$tTheorem Prover Exercises.$gApp. A.$tUsing the ACL2 System --$gApp. B.$tAdditional Features.
520 1 $a"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support.
520 8 $aIt is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry."--BOOK JACKET.
650 0 $aFormal methods (Computer science)$0http://id.loc.gov/authorities/subjects/sh99003622
650 0 $aSoftware engineering.$0http://id.loc.gov/authorities/subjects/sh87007398
650 0 $aExpert systems (Computer science)$0http://id.loc.gov/authorities/subjects/sh85046450
700 1 $aManolios, Panagiotis.$0http://id.loc.gov/authorities/names/n00003705
700 1 $aMoore, J Strother,$d1947-$0http://id.loc.gov/authorities/names/n79073002
830 0 $aAdvances in formal methods ;$v3.$0http://id.loc.gov/authorities/names/n99256471
852 00 $boff,eng$hQA76.9.F67$iK38 2000