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
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: [by] Walter S. Brainerd [and] 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://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Thing/computation> ; # Computation
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/formale_sprache> ; # Formale Sprache
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/langages_de_4e_generation> ; # Langages de 4e génération
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    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/machines_sequentielles_theorie_des> ; # Machines séquentielles, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/machines_sequentielles_theorie> ; # Machines séquentielles (Théorie)
    schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:about <http://dewey.info/class/519.4/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1799225#Topic/informatik> ; # Informatik
    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_wiley1974> ;
    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/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/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://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.