WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/654652618

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)

Open All Close All

type

about

alternateName

contributor

creator

genre

http://schema.org/genre

  • "Conference papers and proceedings"

name

http://schema.org/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)"

workExample