Record ID | marc_loc_2016/BooksAll.2016.part12.utf8:158648219:799 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part12.utf8:158648219:799?format=raw |
LEADER: 00799cam a2200241 i 4500
001 80021293
003 DLC
005 19830415000000.0
008 800828s1981 njua b 00110 eng
010 $a 80021293
050 0 $aQA267$b.L49
082 0 $a511$219
100 10 $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.
650 0 $aMachine theory.
650 0 $aFormal languages.
650 0 $aComputational complexity.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aPapadimitriou, Christos H.,$ejoint author.