| Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:767161250:1304 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:767161250:1304?format=raw |
LEADER: 01304cam a2200301uu 4500
001 000917455-9
005 20020606090541.3
008 800828s1981 njua b 00010 eng
010 $a 80021293
035 0 $aocm06707094
040 $aDLC$cDLC$dm.c.
050 00 $aQA267$b.L49
100 1 $aLewis, Harry R.
245 10 $aElements of the theory of computation /$cHarry R. Lewis, Christos H. Papadimitriou.
260 0 $aEnglewood Cliffs, N.J. :$bPrentice-Hall,$cc1981.
300 $axiv, 466 p. :$bill. ;$c24 cm.
440 0 $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.
650 0 $aMachine theory.
650 0 $aFormal languages.
650 0 $aComputational complexity.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aPapadimitriou, Christos H.,$ejoint author.
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
988 $a20020608
906 $0DLC