zum Inhalt wechseln
The collected works of J. Richard Büchi Titelvorschau
SchließenTitelvorschau
Prüfung…

The collected works of J. Richard Büchi

Verfasser/in: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Verlag: New York : Springer-Verlag, ©1990.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Physisches Format Online version:
Büchi, J. Richard.
Collected works of J. Richard Büchi.
New York : Springer-Verlag, ©1990
(OCoLC)625763450
Name: J Richard Büchi; J Richard Büchi
Dokumenttyp: Buch
Alle Autoren: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
OCLC-Nummer: 20296792
Beschreibung: xvi, 304 pages : illustrations ; 25 cm
Inhalt: 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.
Andere Titel Works.
Verfasserangabe: Saunders Mac Lane, Dirk Siefkes, editors.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


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#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/theorie_automate> ; # Théorie automate
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/informatique_theorique> ; # Informatique théorique
    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#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/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique"@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://experiment.worldcat.org/entity/work/data/252492106#Topic/theorie_automate> # Théorie automate
    a schema:Intangible ;
    schema:name "Théorie automate"@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

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.