skip to content
Elements of the theory of computation Preview this item
ClosePreview this item

Elements of the theory of computation

Author: Harry R Lewis; Christos H Papadimitriou
Publisher: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
Series: Prentice-Hall software series.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

A general, yet comprehensive, introduction to the classical and contemporary theory of computation.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981
(OCoLC)571519642
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
OCLC Number: 6707094
Description: xiv, 466 pages : illustrations ; 24 cm.
Contents: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
Series Title: Prentice-Hall software series.
Responsibility: Harry R. Lewis, Christos H. Papadimitriou.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/6707094> # Elements of the theory of computation
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "6707094" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
    schema:about <http://dewey.info/class/001.535/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/informatica> ; # Informatica
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logic_symbolic_and_mathematical> ; # Logic, symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://dewey.info/class/511/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (informatique)
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> ; # Langages formels
    schema:author <http://viaf.org/viaf/37007186> ; # Christos H. Papadimitriou
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1981" ;
    schema:creator <http://viaf.org/viaf/44438248> ; # Harry R. Lewis
    schema:datePublished "1981" ;
    schema:description "Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/592873> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> ; # Prentice-Hall software series.
    schema:isSimilarTo <http://www.worldcat.org/oclc/571519642> ;
    schema:name "Elements of the theory of computation"@en ;
    schema:productID "6707094" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/6707094#PublicationEvent/englewood_cliffs_n_j_prentice_hall_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> ; # Prentice-Hall
    schema:url <http://www.gbv.de/dms/bowker/toc/9780132734172.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780132734172> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/6707094> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> # Prentice-Hall
    a bgn:Agent ;
    schema:name "Prentice-Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
    schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> # Prentice-Hall software series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/6707094> ; # Elements of the theory of computation
    schema:name "Prentice-Hall software series." ;
    schema:name "Prentice-Hall software series" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> # Complexité de calcul (informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (informatique)"@en ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
    schema:name "Fonctions calculables"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> # Langages formels
    a schema:Intangible ;
    schema:name "Langages formels"@en ;
    schema:name "Langages formels"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logic_symbolic_and_mathematical> # Logic, symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/37007186> # Christos H. Papadimitriou
    a schema:Person ;
    schema:familyName "Papadimitriou" ;
    schema:givenName "Christos H." ;
    schema:name "Christos H. Papadimitriou" ;
    .

<http://viaf.org/viaf/44438248> # Harry R. Lewis
    a schema:Person ;
    schema:familyName "Lewis" ;
    schema:givenName "Harry R." ;
    schema:name "Harry R. Lewis" ;
    .

<http://worldcat.org/isbn/9780132734172>
    a schema:ProductModel ;
    schema:isbn "0132734176" ;
    schema:isbn "9780132734172" ;
    .

<http://www.worldcat.org/oclc/571519642>
    a schema:CreativeWork ;
    rdfs:label "Elements of the theory of computation." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/6707094> ; # Elements of the theory of computation
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.