pular para conteúdo
Elements of the theory of computation Ver prévia deste item
FecharVer prévia deste item
Checando...

Elements of the theory of computation

Autor: Harry R Lewis; Christos H Papadimitriou
Editora: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
Séries: Prentice-Hall software series.
Edição/Formato   Livro : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Formato Físico Adicional: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, c1981
(OCoLC)571519642
Tipo de Documento: Livro
Todos os Autores / Contribuintes: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
Número OCLC: 6707094
Descrição: xiv, 466 p. : ill. ; 24 cm.
Conteúdos: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
Título da Série: Prentice-Hall software series.
Responsabilidade: Harry R. Lewis, Christos H. Papadimitriou.
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<http://www.worldcat.org/oclc/6707094>
library:oclcnum"6707094"
library:placeOfPublication
rdf:typeschema:Place
schema:name"Englewood Cliffs, N.J."
library:placeOfPublication
owl:sameAs<info:oclcnum/6707094>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
rdf:typeschema:Intangible
schema:name"logique mathématique."
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Logique symbolique et mathématique."
schema:about
rdf:typeschema:Intangible
schema:name"Complexité de calcul (informatique)"
schema:about
rdf:typeschema:Intangible
schema:name"Logique symbolique et mathématique."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Automates mathématiques, Théorie des."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Complexité de calcul (Informatique)"
schema:about
rdf:typeschema:Intangible
schema:name"calcul propositionnel."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Fonctions calculables."
schema:about
schema:about
schema:about
schema:about
schema:author
schema:contributor
schema:copyrightYear"1981"
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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/592873>
schema:inLanguage"en"
schema:name"Elements of the theory of computation"
schema:numberOfPages"466"
schema:publisher
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.