omitir hasta el contenido
The collected works of J. Richard Büchi Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

The collected works of J. Richard Büchi

Autor: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Editorial: New York : Springer-Verlag, ©1990.
Edición/Formato:   Libro impreso : Inglés (eng)Ver todas las ediciones y todos los formatos
Resumen:

(He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than  Leer más

Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Formato físico adicional: Online version:
Büchi, J. Richard.
Collected works of J. Richard Büchi.
New York : Springer-Verlag, ©1990
(OCoLC)625763450
Persona designada: J Richard Büchi; J Richard Büchi
Tipo de documento Libro
Todos autores / colaboradores: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
Número OCLC: 20296792
Descripción: xvi, 304 pages : illustrations ; 25 cm
Contenido: J. Richard Büchi (1924-1984) / Dirk Siefkes, Paul Young, and Leonard Lipshitz --
The life of J. Richard Büchi / Sylvia Büchi --
The work of J. Richard Büchi / Dirk Siefkes --
The role of Büchi's automata in computer science / E. Allen Emerson --
Boolean algebras --
Discrete spaces --
Towards a theory of definability --
Automata and grammars --
Automata and monadic theories --
Games and determinacy --
Computability --
Quadratic forms, the five squares problem, and diophantine equations --
Graphs and matroids.
Otros títulos: Works.
Responsabilidad: Saunders Mac Lane, Dirk Siefkes, editors.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/20296792> # The collected works of J. Richard Büchi
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "20296792" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://viaf.org/viaf/2536445> ; # J Richard Büchi
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Person/buchi_j_richard> ; # J Richard Büchi
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, théorie des
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/101828380> ; # Saunders Mac Lane
   schema:contributor <http://viaf.org/viaf/66531157> ; # Dirk Siefkes
   schema:copyrightYear "1990" ;
   schema:creator <http://viaf.org/viaf/2536445> ; # J Richard Büchi
   schema:datePublished "1990" ;
   schema:description "J. Richard Büchi (1924-1984) / Dirk Siefkes, Paul Young, and Leonard Lipshitz -- The life of J. Richard Büchi / Sylvia Büchi -- The work of J. Richard Büchi / Dirk Siefkes -- The role of Büchi's automata in computer science / E. Allen Emerson -- Boolean algebras -- Discrete spaces -- Towards a theory of definability -- Automata and grammars -- Automata and monadic theories -- Games and determinacy -- Computability -- Quadratic forms, the five squares problem, and diophantine equations -- Graphs and matroids."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/252492106> ; # Works. 1990
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/625763450> ;
   schema:name "The collected works of J. Richard Büchi"@en ;
   schema:productID "20296792" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20296792#PublicationEvent/new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/252492106#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387970646> ;
   schema:workExample <http://worldcat.org/isbn/9783540970644> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20296792> ;
    .


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/252492106#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Person/buchi_j_richard> # J Richard Büchi
    a schema:Person ;
   schema:familyName "Büchi" ;
   schema:givenName "J. Richard" ;
   schema:name "J Richard Büchi" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, théorie des"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
    .

<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://viaf.org/viaf/101828380> # Saunders Mac Lane
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "2005" ;
   schema:familyName "Mac Lane" ;
   schema:givenName "Saunders" ;
   schema:name "Saunders Mac Lane" ;
    .

<http://viaf.org/viaf/2536445> # J Richard Büchi
    a schema:Person ;
   schema:familyName "Büchi" ;
   schema:givenName "J. Richard" ;
   schema:name "J Richard Büchi" ;
    .

<http://viaf.org/viaf/66531157> # Dirk Siefkes
    a schema:Person ;
   schema:familyName "Siefkes" ;
   schema:givenName "Dirk" ;
   schema:name "Dirk Siefkes" ;
    .

<http://worldcat.org/entity/work/id/252492106> # Works. 1990
   schema:name "Works. 1990" ;
    .

<http://worldcat.org/isbn/9780387970646>
    a schema:ProductModel ;
   schema:isbn "0387970649" ;
   schema:isbn "9780387970646" ;
    .

<http://worldcat.org/isbn/9783540970644>
    a schema:ProductModel ;
   schema:isbn "3540970649" ;
   schema:isbn "9783540970644" ;
    .

<http://www.worldcat.org/oclc/625763450>
    a schema:CreativeWork ;
   rdfs:label "Collected works of J. Richard Büchi." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20296792> ; # The collected works of J. Richard Büchi
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.