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: [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://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://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:about <http://dewey.info/class/519.4/> ;
   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/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://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.