doorgaan naar inhoud
Elements of the theory of computation Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Elements of the theory of computation

Auteur: Harry R Lewis; Christos H Papadimitriou
Uitgever: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
Serie: Prentice-Hall software series.
Editie/Formaat:   Gedrukt boek : EngelsAlle edities en materiaalsoorten bekijken.
Samenvatting:

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

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Aanvullende fysieke materiaalsoort: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981
(OCoLC)571519642
Genre: Internetbron
Soort document Boek, Internetbron
Alle auteurs / medewerkers: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
OCLC-nummer: 6707094
Beschrijving: xiv, 466 pages : illustrations ; 24 cm.
Inhoud: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
Serietitel: Prentice-Hall software series.
Verantwoordelijkheid: Harry R. Lewis, Christos H. Papadimitriou.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/6707094> # Elements of the theory of computation
    a schema:CreativeWork, schema:Book ;
    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://experiment.worldcat.org/entity/work/data/592873#Topic/automate_fini> ; # automate fini
    schema:about <http://dewey.info/class/001.535/e19/> ;
    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/these_church> ; # thèse Church
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/formal_languages> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/informatica> ; # Informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> ; # logique symbolique
    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/langage_algebrique> ; # langage algébrique
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> ; # complexité calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_calcul> ; # théorie calcul
    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/machine_turing> ; # machine Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> ; # calcul propositionnel
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_formel> ; # langage formel
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://dewey.info/class/511/e19/> ;
    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/langages_formels> ; # Langages formels
    schema:author <http://experiment.worldcat.org/entity/work/data/592873#Person/papadimitriou_christos_h> ; # 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#Person/papadimitriou_christos_h> # Christos H. Papadimitriou
    a schema:Person ;
    schema:familyName "Papadimitriou" ;
    schema:givenName "Christos H." ;
    schema:name "Christos H. Papadimitriou" ;
    .

<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/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
    schema:name "complexité calcul"@en ;
    .

<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/computational_complexity> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<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/formal_languages> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_algebrique> # langage algébrique
    a schema:Intangible ;
    schema:name "langage algébrique"@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_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
    schema:name "logique symbolique"@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://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_calcul> # théorie calcul
    a schema:Intangible ;
    schema:name "théorie calcul"@en ;
    .

<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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.