Coverart for item
The Resource Elements of the theory of computation, Harry R. Lewis, Christos H. Papadimitriou

Elements of the theory of computation, Harry R. Lewis, Christos H. Papadimitriou

Label
Elements of the theory of computation
Title
Elements of the theory of computation
Statement of responsibility
Harry R. Lewis, Christos H. Papadimitriou
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Lewis, Harry R
Dewey number
  • 001.53/5
  • 511
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.L49
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Papadimitriou, Christos H
Series statement
Prentice-Hall software series
http://library.link/vocab/subjectName
  • Machine theory
  • Formal languages
  • Computational complexity
  • Logic, Symbolic and mathematical
  • Automates mathématiques, Théorie des
  • Langages formels
  • Complexité de calcul (Informatique)
  • Logique symbolique et mathématique
  • Informatica
  • Automatentheorie
  • Fonctions calculables
  • Langages formels
  • Complexité de calcul (informatique)
  • Logique symbolique et mathématique
  • thèse Church
  • logique mathématique
  • logique symbolique
  • théorie calcul
  • calcul propositionnel
  • calcul prédicat
  • machine Turing
  • automate fini
  • langage algébrique
  • complexité calcul
  • langage formel
Label
Elements of the theory of computation, Harry R. Lewis, Christos H. Papadimitriou
Instantiates
Publication
Note
Includes index
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus
Control code
6707094
Dimensions
24 cm
Extent
xiv, 466 pages
Isbn
9780132734172
Lccn
80021293
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (WaOLN)65680
  • (OCoLC)6707094
Label
Elements of the theory of computation, Harry R. Lewis, Christos H. Papadimitriou
Publication
Note
Includes index
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus
Control code
6707094
Dimensions
24 cm
Extent
xiv, 466 pages
Isbn
9780132734172
Lccn
80021293
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (WaOLN)65680
  • (OCoLC)6707094

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...