跳到内容
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 预览资料
关闭预览资料
正在查...

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

著者: G H Müller; Gaisi Takeuti; T Tugué
出版商: Berlin ; New York : Springer-Verlag, 1981.
丛书: Lecture notes in mathematics (Springer-Verlag), 891.
版本/格式:   Print book : 会议刊物 : 英语查看所有的版本和格式
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

材料类型: 会议刊物
文件类型:
所有的著者/提供者: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612
OCLC号码: 423238003
描述: xi, 394 p. ; 25 cm.
丛书名: Lecture notes in mathematics (Springer-Verlag), 891.
责任: edited by G.H. Müller, G. Takeuti, and T. Tugué.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!

相似资料

确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/423238003> # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "423238003" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866351617#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://dewey.info/class/510/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_machi_japon> ; # Logic Symposia. (1980 : Hakone-machi, Japon)
    schema:contributor <http://viaf.org/viaf/33327900> ; # Tosiyuki Tugué
    schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:creator <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_machi_japon> ; # Logic Symposia. (1979 : Hakone-machi, Japon)
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866351617> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
    schema:name "Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980" ;
    schema:numberOfPages "394" ;
    schema:productID "423238003" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/423238003#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866351617#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387111612> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/423238003> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_machi_japon> # Logic Symposia. (1979 : Hakone-machi, Japon)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japon> ; # Hakone-machi, Japon)
    schema:name "Logic Symposia. (1979 : Hakone-machi, Japon)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_machi_japon> # Logic Symposia. (1980 : Hakone-machi, Japon)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japon> ; # Hakone-machi, Japon)
    schema:name "Logic Symposia. (1980 : Hakone-machi, Japon)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Person/muller_g_h_gert_heinz_1923> # Gert Heinz Müller
    a schema:Person ;
    schema:birthDate "1923" ;
    schema:familyName "Müller" ;
    schema:givenName "Gert Heinz" ;
    schema:givenName "G. H." ;
    schema:name "Gert Heinz Müller" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japon> # Hakone-machi, Japon)
    a schema:Place ;
    schema:name "Hakone-machi, Japon)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/423238003> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès" ;
    schema:name "Logique symbolique et mathématique--Congrès"@fr ;
    .

<http://viaf.org/viaf/33327900> # Tosiyuki Tugué
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Tugué" ;
    schema:givenName "Tosiyuki" ;
    schema:givenName "T." ;
    schema:name "Tosiyuki Tugué" ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780387111612>
    a schema:ProductModel ;
    schema:isbn "0387111611" ;
    schema:isbn "9780387111612" ;
    .

<http://www.worldcat.org/title/-/oclc/423238003>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/423238003> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:dateModified "2017-04-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.