[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/mkm/2014ws>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Alan_P._Sexton>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Andrea_Kohlhase>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Josef_Urban>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Matthew_England_0001>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Paul_Libbrecht>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Pedro_Quaresma>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Petr_Sojka>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Stephen_M._Watt>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Walther_Neuper>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Alan_P._Sexton>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Andrea_Kohlhase>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Josef_Urban>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Matthew_England_0001>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Paul_Libbrecht>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Pedro_Quaresma>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Petr_Sojka>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Stephen_M._Watt>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Walther_Neuper>
foaf:homepage <https://ceur-ws.org/Vol-1186>
dc:identifier DBLP conf/mkm/2014ws (xsd:string)
dcterms:issued 2014 (xsd:gYear)
rdfs:label Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AcevedoK14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Davenport14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DumasDER14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Gaspar14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GraebeNJ14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Hellstrom14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Hellstrom14a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kahle14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14b>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14c>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14d>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseT14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/LeitaoR14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/LibbrechtS14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Mihaljevic-BrandtMR14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Neuper14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/PagelS14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Petrovic14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/PollanenHCK14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/QuaresmaSM14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Rabe14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchwinningSSG14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SegundoMV14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SilvaW14>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/YamamotoK14>
dc:publisher CEUR-WS.org (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/mkm/2014ws/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/mkm/2014ws>
rdfs:seeAlso <https://ceur-ws.org/Vol-1186>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/mkm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/mkm/cicmws2014.html>
dc:title Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 1186 (xsd:string)