跳到内容
Elements of the theory of computation 预览资料
关闭预览资料

Elements of the theory of computation

著者: Harry R Lewis; Christos H Papadimitriou
出版商: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
丛书: Prentice-Hall software series.
版本/格式:   打印图书 : 英语查看所有的版本和格式
提要:

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

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

附加的形体格式: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981
(OCoLC)571519642
材料类型: 互联网资源
文档类型 图书, 互联网资源
所有的著者/提供者: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
OCLC号码: 6707094
描述: xiv, 466 pages : illustrations ; 24 cm.
内容: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
丛书名: Prentice-Hall software series.
责任: Harry R. Lewis, Christos H. Papadimitriou.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


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

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.