| Record ID | marc_loc_2016/BooksAll.2016.part26.utf8:100294211:997 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part26.utf8:100294211:997?format=raw |
LEADER: 00997cam a2200277 a 4500
001 97116088
003 DLC
005 20130409115342.0
008 960321s1995 caua bb 001 0 eng d
010 $a 97116088
035 $a(OCoLC)34426902
040 $aPPiC$cPPiC$dDLC
042 $alccopycat
050 00 $aQA76.9.A96$bM385 1995
100 1 $aMcGuire, Hugh W.$q(Hugh Wingfield)
245 10 $aTwo methods for checking formulas of temporal logic /$cby Hugh W. McGuire.
260 $aStanford, Calif. :$bDept. of Computer Science, Stanford University,$cc1995.
300 $aviii, 144 p. :$bill. ;$c28 cm.
490 1 $aReport ;$vno. STAN-CS-TR-95-1551
500 $aCover title.
500 $a"June 1995."
504 $aIncludes bibliographical references (p. 135-142) and index.
650 0 $aAutomatic theorem proving.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aComputer algorithms.
830 0 $aReport (Stanford University. Computer Science Department) ;$vSTAN-CS-TR-95-1551.