skip to content
Theory of computation Preview this item
ClosePreview this item
Checking...

Theory of computation

Author: Walter S Brainerd; Lawrence H Landweber
Publisher: New York : Wiley, 1974.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Brainerd, Walter S.
Theory of computation.
New York, Wiley [1974]
(OCoLC)555680599
Document Type: Book
All Authors / Contributors: Walter S Brainerd; Lawrence H Landweber
ISBN: 0471095850 9780471095859
OCLC Number: 694056
Notes: "A Wiley-Interscience publication."
Description: xxi, 336 pages : illustrations ; 23 cm
Contents: An algorithmic language --
Recursive functions --
Machine languages --
Labeled Markov algorithms --
Recursively enumerable sets --
Formal languages --
Reducibility --
Complexity of computations --
Subrecursive hierarchies --
Introduction to combinatory logic.
Responsibility: Walter S. Brainerd, Lawrence H. Landweber.

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/694056> # Theory of computation
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "694056" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/complexite_calcul> ; # complexité calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langage_formel> ; # langage formel
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/formale_sprache> ; # Formale Sprache
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/machines_sequentielles_theorie_des> ; # Machines séquentielles, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/theorie_calcul> ; # théorie calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langages_de_4e_generation> ; # Langages de 4e génération
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:about <http://dewey.info/class/519.4/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langage_machine> ; # langage machine
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Thing/computation> ; # Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langage_algorithmique> ; # langage algorithmique
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/informatik> ; # Informatik
    schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/fonction_recursive> ; # fonction récursive
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/machines_sequentielles_theorie> ; # Machines séquentielles (Théorie)
    schema:author <http://viaf.org/viaf/33578594> ; # Lawrence H. Landweber
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/49918031> ; # Walter S. Brainerd
    schema:datePublished "1974" ;
    schema:description "An algorithmic language -- Recursive functions -- Machine languages -- Labeled Markov algorithms -- Recursively enumerable sets -- Formal languages -- Reducibility -- Complexity of computations -- Subrecursive hierarchies -- Introduction to combinatory logic."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1799225> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/555680599> ;
    schema:name "Theory of computation"@en ;
    schema:productID "694056" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/694056#PublicationEvent/new_york_wiley_1974> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1799225#Agent/wiley> ; # Wiley
    schema:workExample <http://worldcat.org/isbn/9780471095859> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB7410818> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/694056> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/fonction_recursive> # fonction récursive
    a schema:Intangible ;
    schema:name "fonction récursive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
    schema:name "Fonctions récursives"@en ;
    schema:name "Fonctions récursives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/langage_algorithmique> # langage algorithmique
    a schema:Intangible ;
    schema:name "langage algorithmique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/langages_de_4e_generation> # Langages de 4e génération
    a schema:Intangible ;
    schema:name "Langages de 4e génération"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/machines_sequentielles_theorie> # Machines séquentielles (Théorie)
    a schema:Intangible ;
    schema:name "Machines séquentielles (Théorie)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/machines_sequentielles_theorie_des> # Machines séquentielles, Théorie des
    a schema:Intangible ;
    schema:name "Machines séquentielles, Théorie des"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1799225#Topic/theorie_calcul> # théorie calcul
    a schema:Intangible ;
    schema:name "théorie calcul"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

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

<http://viaf.org/viaf/33578594> # Lawrence H. Landweber
    a schema:Person ;
    schema:familyName "Landweber" ;
    schema:givenName "Lawrence H." ;
    schema:name "Lawrence H. Landweber" ;
    .

<http://viaf.org/viaf/49918031> # Walter S. Brainerd
    a schema:Person ;
    schema:familyName "Brainerd" ;
    schema:givenName "Walter S." ;
    schema:name "Walter S. Brainerd" ;
    .

<http://worldcat.org/isbn/9780471095859>
    a schema:ProductModel ;
    schema:isbn "0471095850" ;
    schema:isbn "9780471095859" ;
    .

<http://www.worldcat.org/oclc/555680599>
    a schema:CreativeWork ;
    rdfs:label "Theory of computation." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/694056> ; # 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.