skip to content
Theoretical aspects of computer software : 4th International Symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings Preview this item
ClosePreview this item
Checking...

Theoretical aspects of computer software : 4th International Symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings

Author: Naoki Kobayashi; Benjamin C Pierce
Publisher: Berlin : Springer, ©2001.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: En línea
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Naoki Kobayashi; Benjamin C Pierce
ISBN: 3540427368 9783540427360
OCLC Number: 912338669
Description: XV, 559 p. : il. ; 24 cm
Other Titles: Lecture notes in computer science.
International Symposium on Theoretical Aspects of Computer Software
Fourth International Symposium on Theoretical Aspects of Computer Software
TACS 2001
Responsibility: Naoki Kobayashi, Benjamin C. Pierce (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/912338669> # Theoretical aspects of computer software : 4th International Symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "912338669" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/867285695#Place/berlin> ; # Berlin
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/867285695#CreativeWork/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/867285695#Topic/software_congresos> ; # Software--Congresos
    schema:about <http://experiment.worldcat.org/entity/work/data/867285695#Topic/lenguajes_de_programacion_semantica_congresos> ; # Lenguajes de programación--Semántica--Congresos
    schema:about <http://experiment.worldcat.org/entity/work/data/867285695#Topic/programacion_logica_congresos> ; # Programación lógica--Congresos
    schema:alternateName "TACS 2001" ;
    schema:alternateName "Fourth International Symposium on Theoretical Aspects of Computer Software" ;
    schema:alternateName "International Symposium on Theoretical Aspects of Computer Software" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/867285695#Person/kobayashi_naoki> ; # Naoki Kobayashi
    schema:contributor <http://experiment.worldcat.org/entity/work/data/867285695#Person/pierce_benjamin_c> ; # Benjamin C. Pierce
    schema:copyrightYear "2001" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/867285695#Meeting/tacs_2001_4º_2001_sendai_japon> ; # TACS 2001 (4º. 2001. Sendai, Japón)
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/867285695> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:name "Theoretical aspects of computer software : 4th International Symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings" ;
    schema:numberOfPages "559" ;
    schema:productID "912338669" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/912338669#PublicationEvent/berlin_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/867285695#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783540427360> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/912338669> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/867285695#CreativeWork/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a schema:CreativeWork ;
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Person/kobayashi_naoki> # Naoki Kobayashi
    a schema:Person ;
    schema:familyName "Kobayashi" ;
    schema:givenName "Naoki" ;
    schema:name "Naoki Kobayashi" ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Person/pierce_benjamin_c> # Benjamin C. Pierce
    a schema:Person ;
    schema:familyName "Pierce" ;
    schema:givenName "Benjamin C." ;
    schema:name "Benjamin C. Pierce" ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Place/sendai_japon> # Sendai, Japón)
    a schema:Place ;
    schema:name "Sendai, Japón)" ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Topic/lenguajes_de_programacion_semantica_congresos> # Lenguajes de programación--Semántica--Congresos
    a schema:Intangible ;
    schema:name "Lenguajes de programación--Semántica--Congresos" ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Topic/programacion_logica_congresos> # Programación lógica--Congresos
    a schema:Intangible ;
    schema:name "Programación lógica--Congresos" ;
    .

<http://experiment.worldcat.org/entity/work/data/867285695#Topic/software_congresos> # Software--Congresos
    a schema:Intangible ;
    schema:name "Software--Congresos" ;
    .

<http://worldcat.org/isbn/9783540427360>
    a schema:ProductModel ;
    schema:isbn "3540427368" ;
    schema:isbn "9783540427360" ;
    .

<http://www.worldcat.org/title/-/oclc/912338669>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/912338669> ; # Theoretical aspects of computer software : 4th International Symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings
    schema:dateModified "2019-04-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.