MARC record from Internet Archive

LEADER: 03105cam 2200781 i 4500
001 ocm06707094
003 OCoLC
005 20191111061633.0
008 800828s1981 njua b 001 0 eng
010 $a 80021293
040 $aDLC$beng$cDLC$dMUQ$dNLGGC$dNLE$dTXH$dZWZ$dOCLCQ$dUKMGB$dMCW$dOG#$dBDX$dGBVCP$dOCLCF$dOCLCQ$dCSJ$dOCLCQ$dAPUMS$dOCLCQ$dCNO$dOCLCQ$dBGU$dOCLCQ$dCSO$dUKBTH$dOCLCQ
015 $aGB8122707$2bnb
016 7 $a011297988$2Uk
019 $a283283731
020 $a0132734176
020 $a9780132734172
020 $a0132734265
020 $a9780132734264
035 $a(OCoLC)6707094$z(OCoLC)283283731
050 00 $aQA267$b.L49
080 0 $a518.3
082 00 $a001.53/5$219
082 04 $a511$219
084 $a54.10$2bcl
100 1 $aLewis, Harry R.
245 10 $aElements of the theory of computation /$cHarry R. Lewis, Christos H. Papadimitriou.
260 $aEnglewood Cliffs, N.J. :$bPrentice-Hall,$c℗♭1981.
300 $axiv, 466 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aPrentice-Hall software series
504 $aIncludes bibliographical references and index.
505 0 $aSets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus.
530 $aAlso issued online.
650 0 $aMachine theory.
650 0 $aFormal languages.
650 0 $aComputational complexity.
650 0 $aLogic, Symbolic and mathematical.
650 6 $aAutomates mathe matiques, The orie des.
650 6 $aLangages formels.
650 6 $aComplexite de calcul (Informatique)
650 6 $aLogique symbolique et mathe matique.
650 7 $aComputational complexity.$2fast$0(OCoLC)fst00871991
650 7 $aFormal languages.$2fast$0(OCoLC)fst00932922
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aMachine theory.$2fast$0(OCoLC)fst01004846
650 17 $aInformatica.$2gtt
650 17 $aAutomatentheorie.$2gtt
650 7 $aFonctions calculables.$2ram
650 7 $aLangages formels.$2ram
650 7 $aComplexite de calcul (informatique)$2ram
650 7 $aLogique symbolique et mathe matique.$2ram
700 1 $aPapadimitriou, Christos H.,$eauthor.
776 08 $iOnline version:$aLewis, Harry R.$tElements of the theory of computation.$dEnglewood Cliffs, N.J. : Prentice-Hall, ℗♭1981$w(OCoLC)571519642
830 0 $aPrentice-Hall software series.
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9780132734172.pdf
938 $aBrodart$bBROD$n32472781$c$45.75
029 1 $aAU@$b000001793533
029 1 $aAU@$b000012403123
029 1 $aAU@$b000021969684
029 1 $aGBVCP$b024357731
029 1 $aNOK$b0132734176
029 1 $aNZ1$b2860994
029 1 $aUKMGB$b011297988
029 1 $aUNITY$b018865968
994 $aZ0$bP4A
948 $hHELD BY P4A - 626 OTHER HOLDINGS