| Record ID | marc_loc_2016/BooksAll.2016.part01.utf8:22920416:1129 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part01.utf8:22920416:1129?format=raw |
LEADER: 01129cam a22003014a 4500
001 00038636
003 DLC
005 20080311080806.0
008 000404s2000 mau b 001 0 eng
010 $a 00038636
020 $a0792377443 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.F67$bK38 2000
082 00 $a004/.01/51$221
100 1 $aKaufmann, Matt.
245 10 $aComputer-aided reasoning :$ban approach /$cby Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
260 $aBoston :$bKluwer Academic Publishers,$cc2000.
300 $axv, 270 p. ;$c25 cm.
440 0 $aAdvances in formal methods ;$v3
504 $aIncludes bibliographical references (p. [257]-259) and index.
650 0 $aFormal methods (Computer science)
650 0 $aSotware engineering.
650 0 $aExpert systems (Computer science)
700 1 $aManolios, Panagiotis.
700 1 $aMoore, J Strother,$d1947-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0820/00038636-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0820/00038636-t.html