コンテンツへ移動
The collected works of J. Richard Büchi 資料のプレビュー
閉じる資料のプレビュー
確認中…

The collected works of J. Richard Büchi

著者: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
出版: New York : Springer-Verlag, ©1990.
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

その他のフォーマット: Online version:
Büchi, J. Richard.
Collected works of J. Richard Büchi.
New York : Springer-Verlag, ©1990
(OCoLC)625763450
関連の人物: J Richard Büchi; J Richard Büchi
ドキュメントの種類: 図書
すべての著者/寄与者: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
OCLC No.: 20296792
物理形態: xvi, 304 p. : ill. ; 25 cm.
コンテンツ: 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.
その他のタイトル: Works.
責任者: Saunders Mac Lane, Dirk Siefkes, editors.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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://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/mac_lane_saunders_1909_2005> ; # Saunders Mac Lane
    schema:contributor <http://experiment.worldcat.org/entity/work/data/252492106#Person/siefkes_dirk> ; # 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:numberOfPages "304" ;
    schema:productID "20296792" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20296792#PublicationEvent/new_york_springer_verlag_c1990> ;
    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/mac_lane_saunders_1909_2005> # 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://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://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/2536445> # J Richard Büchi
    a schema:Person ;
    schema:familyName "Büchi" ;
    schema:givenName "J. Richard" ;
    schema:name "J Richard Büchi" ;
    .

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

<http://worldcat.org/isbn/9780387970646>
    a pto:Acid-free_paper, schema:ProductModel ;
    schema:description "alk. paper" ;
    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

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.