[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/mkm/2018w>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Abdou_Youssef>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Adam_Naumowicz>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Cezary_Kaliszyk>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Diane_Gallois-Wong>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Florian_Rabe_0001>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Gabriel_Dos_Reis>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Grant_O._Passmore>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Markus_Pfeiffer>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Osman_Hasan>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Serge_Autexier>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Sofi%E2%88%9A%C2%AEne_Tahar>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Thomas_Koprucki>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Umair_Siddique>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Walther_Neuper>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/William_M._Farmer>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Schreiner>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Windsteiger>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wolfram_Sperber>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Zolt%E2%88%9A%C2%B0n_Kov%E2%88%9A%C2%B0cs>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Abdou_Youssef>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Adam_Naumowicz>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Cezary_Kaliszyk>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Diane_Gallois-Wong>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Florian_Rabe_0001>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Gabriel_Dos_Reis>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Grant_O._Passmore>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Markus_Pfeiffer>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Osman_Hasan>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Serge_Autexier>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Sofi%E2%88%9A%C2%AEne_Tahar>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Thomas_Koprucki>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Umair_Siddique>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Walther_Neuper>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/William_M._Farmer>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Schreiner>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Windsteiger>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Wolfram_Sperber>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Zolt%E2%88%9A%C2%B0n_Kov%E2%88%9A%C2%B0cs>
foaf:homepage <https://ceur-ws.org/Vol-2307>
dc:identifier DBLP conf/mkm/2018w (xsd:string)
dcterms:issued 2019 (xsd:gYear)
rdfs:label Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Betzendahl18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BidetGP18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Ekici18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/FioriC18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/FrerixK18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Greiner-Petter18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GutschePS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/JunkH18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kolodynski18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kovacs18a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Miller18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Neuper18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Pak18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/PetersenSG18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/RashidH18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Sangwin18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchaeferK18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Scharpf18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Schreiner18a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Schubotz18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Schubotz18a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/WiesingK18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/ZaatitiGYD18>
dc:publisher CEUR-WS.org (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/mkm/2018w/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/mkm/2018w>
rdfs:seeAlso <https://ceur-ws.org/Vol-2307>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/mkm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html>
dc:title Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 2307 (xsd:string)