skip to content
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Preview this item
ClosePreview this item
Checking...

Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice.

Author: Adam Chlipala; Association for Computing Machinery.
Publisher: New York, NY : ACM, 2012.
Series: ACM Digital Library
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Adam Chlipala; Association for Computing Machinery.
ISBN: 9781450315784 145031578X
OCLC Number: 1043846058
Description: Online-Ressource (1 online resource (44 Seiten)).
Series Title: ACM Digital Library
Other Titles: LFMTP '12

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/1043846058> # Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice.
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "1043846058" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/9460490928#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9460490928#Topic/computer_science> ; # Computer science
    schema:alternateName "LFMTP '12" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9460490928#Organization/association_for_computing_machinery> ; # Association for Computing Machinery.
    schema:creator <http://experiment.worldcat.org/entity/work/data/9460490928#Person/chlipala_adam_1981> ; # Adam Chlipala
    schema:datePublished "2012" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9460490928> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9460490928#Series/acm_digital_library> ; # ACM Digital Library
    schema:name "Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice." ;
    schema:productID "1043846058" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1043846058#PublicationEvent/new_york_ny_acm_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/9460490928#Agent/acm> ; # ACM
    schema:url <http://dl.acm.org/citation.cfm?id=2364406> ;
    schema:workExample <http://worldcat.org/isbn/9781450315784> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1043846058> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9460490928#Organization/association_for_computing_machinery> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://experiment.worldcat.org/entity/work/data/9460490928#Person/chlipala_adam_1981> # Adam Chlipala
    a schema:Person ;
    schema:birthDate "1981" ;
    schema:familyName "Chlipala" ;
    schema:givenName "Adam" ;
    schema:name "Adam Chlipala" ;
    .

<http://experiment.worldcat.org/entity/work/data/9460490928#Series/acm_digital_library> # ACM Digital Library
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1043846058> ; # Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice.
    schema:name "ACM Digital Library" ;
    .

<http://worldcat.org/isbn/9781450315784>
    a schema:ProductModel ;
    schema:isbn "145031578X" ;
    schema:isbn "9781450315784" ;
    .

<http://www.worldcat.org/title/-/oclc/1043846058>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1043846058> ; # Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice.
    schema:dateModified "2019-09-09" ;
    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.