컨텐츠로 이동
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.
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스: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 번호: 20296792
설명: xvi, 304 pages : illustrations ; 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://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

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.