skip to content
Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) : August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22) Preview this item
ClosePreview this item
Checking...

Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) : August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22)

Author: Florian Rabe; C Schürmann
Publisher: New York, N.Y. : Association for Computing Machinery, 2009.
Edition/Format:   eBook : Document : Conference publication : English
Database:WorldCat
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

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Florian Rabe; C Schürmann
ISBN: 9781605589541 1605589543
OCLC Number: 664571220
Description: 1 online resource (48 pages) : illustrations
Other Titles: MLPA-09
Responsibility: Florian Rabe, Carsten Schürmann (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/664571220> # Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) : August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22)
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "664571220" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/654652618#Place/new_york_n_y> ; # New York, N.Y.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
    schema:about <http://experiment.worldcat.org/entity/work/data/654652618#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/654652618#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://id.loc.gov/authorities/subjects/sh85139126> ; # Type theory
    schema:alternateName "MLPA-09" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/654652618#Person/rabe_florian> ; # Florian Rabe
    schema:contributor <http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> ; # Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)
    schema:contributor <http://viaf.org/viaf/282441886> ; # Carsten Schürmann
    schema:creator <http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> ; # Workshop on Modules and Libraries for Proof Assistants (1st : 2009 : Montréal, Québec)
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/654652618> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:name "Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) : August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22)"@en ;
    schema:productID "664571220" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/664571220#PublicationEvent/new_york_n_y_association_for_computing_machinery_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/654652618#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
    schema:url <http://portal.acm.org/toc.cfm?id=1735813&coll=portal&dl=ACM> ;
    schema:url <http://dx.doi.org/10.1145/1735813> ;
    schema:workExample <http://worldcat.org/isbn/9781605589541> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/664571220> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> # Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/654652618#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> # Workshop on Modules and Libraries for Proof Assistants (1st : 2009 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/654652618#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "Workshop on Modules and Libraries for Proof Assistants (1st : 2009 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/654652618#Person/rabe_florian> # Florian Rabe
    a schema:Person ;
    schema:familyName "Rabe" ;
    schema:givenName "Florian" ;
    schema:name "Florian Rabe" ;
    .

<http://experiment.worldcat.org/entity/work/data/654652618#Place/montreal_quebec> # Montréal, Québec)
    a schema:Place ;
    schema:name "Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/654652618#Place/new_york_n_y> # New York, N.Y.
    a schema:Place ;
    schema:name "New York, N.Y." ;
    .

<http://id.loc.gov/authorities/subjects/sh85139126> # Type theory
    a schema:Intangible ;
    schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/1159972> # Type theory
    a schema:Intangible ;
    schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/282441886> # Carsten Schürmann
    a schema:Person ;
    schema:familyName "Schürmann" ;
    schema:givenName "Carsten" ;
    schema:givenName "C." ;
    schema:name "Carsten Schürmann" ;
    .

<http://worldcat.org/isbn/9781605589541>
    a schema:ProductModel ;
    schema:isbn "1605589543" ;
    schema:isbn "9781605589541" ;
    .

<http://www.worldcat.org/title/-/oclc/664571220>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/664571220> ; # Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) : August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22)
    schema:dateModified "2016-07-15" ;
    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.