cover image

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

; Papadimitriou, Christos H., author
Englewood Cliffs, N.J. : Prentice-Hall, [1981] .
ISBN 9780132734172, 0132734176

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
QA 267 .L49 (show me on map) Available Request
WRLC Shared Collections Facility
QA 267 .L49 (show me on map) Off-site
Request
American
LIB stacks
QA267 .L49 Available Request
Gallaudet
UNIV General stacks
511 L4e, 1981 Available Request
George Mason
Fenwick stacks
QA267 .L49 Available Request
Georgetown
Science stacks
QA267 .L49 Available Request
Howard
Founders Library stacks
QA267 L49 Available Request
Other Authors Papadimitriou, Christos H.,
Subjects Automatentheorie.
Automates mathématiques, Théorie des.
Complexité de calcul (Informatique)
Complexité de calcul (informatique)
Computational complexity.
Fonctions calculables.
Formal languages.
Informatica.
Langages formels.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Machine theory.
automate fini.
calcul prédicat.
calcul propositionnel.
complexité calcul.
langage algébrique.
langage formel.
logique mathématique.
logique symbolique.
machine Turing.
thèse Church.
théorie calcul.
Series Prentice-Hall software series.
Description xiv, 466 pages : illustrations ; 24 cm.
Copyright Date [1981]
©1981
Notes Includes bibliographical references and index.
Also issued online.
Contents Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus.
Network Numbers (OCoLC)6707094
(OCoLC)ocm06707094
WorldCat Search OCLC WorldCat
WorldCat Identities Lewis, Harry R.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks