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
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://viaf.org/viaf/29343851> ; # Carsten Schürmann
   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/30100159> ; # Florian Rabe
   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#Place/montreal_quebec> # Montréal, Québec)
    a schema:Place ;
   schema:name "Montréal, Québec)" ;
    .

<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/29343851> # Carsten Schürmann
    a schema:Person ;
   schema:familyName "Schürmann" ;
   schema:givenName "Carsten" ;
   schema:givenName "C." ;
   schema:name "Carsten Schürmann" ;
    .

<http://viaf.org/viaf/30100159> # Florian Rabe
    a schema:Person ;
   schema:familyName "Rabe" ;
   schema:givenName "Florian" ;
   schema:name "Florian Rabe" ;
    .

<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 "2018-03-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.