přejít na obsah
The collected works of J. Richard Büchi Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

The collected works of J. Richard Büchi

Autor J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Vydavatel: New York : Springer-Verlag, ©1990.
Vydání/formát:   Tištěná kniha : EnglishZobrazit všechny vydání a formáty
Shrnutí:

(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  Přečíst více...

Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Doplňující formát: Online version:
Büchi, J. Richard.
Collected works of J. Richard Büchi.
New York : Springer-Verlag, ©1990
(OCoLC)625763450
Osoba: J Richard Büchi; J Richard Büchi
Typ dokumentu Kniha
Všichni autoři/tvůrci: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
OCLC číslo: 20296792
Popis: xvi, 304 pages : illustrations ; 25 cm
Obsahy: 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.
Jiné tituly: Works.
Odpovědnost: Saunders Mac Lane, Dirk Siefkes, editors.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


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://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://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://experiment.worldcat.org/entity/work/data/252492106#Person/siefkes_dirk> ; # Dirk Siefkes
   schema:contributor <http://viaf.org/viaf/101828380> ; # Saunders Mac Lane
   schema:copyrightYear "1990" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/252492106#Person/buchi_j_richard> ; # 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#Person/siefkes_dirk> # Dirk Siefkes
    a schema:Person ;
   schema:familyName "Siefkes" ;
   schema:givenName "Dirk" ;
   schema:name "Dirk Siefkes" ;
    .

<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://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://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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.