| Property | Value |
|---|
|
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/mkm/2021w>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Adam_Naumowicz>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Andrea_Kohlhase>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Claudio_Sacerdoti_Coen>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Dennis_M%E2%88%9A%C4%BEller_0001>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Jasmin_Blanchette>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Peter_Koepke>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Yasmine_Sharoda>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Adam_Naumowicz>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Andrea_Kohlhase>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Claudio_Sacerdoti_Coen>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Dennis_M%E2%88%9A%C4%BEller_0001>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/James_H._Davenport>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Jasmin_Blanchette>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Michael_Kohlhase>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Peter_Koepke>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Yasmine_Sharoda>
|
|
foaf:homepage
|
<https://ceur-ws.org/Vol-3377>
|
|
dc:identifier
|
DBLP conf/mkm/2021w
(xsd:string)
|
|
dcterms:issued
|
2023
(xsd:gYear)
|
|
rdfs:label
|
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.
(xsd:string)
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0001KS21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AhmedR21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AsakuraMAK21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BentkampA21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Best21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Betzendahl21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BlanchetteN21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BordgC21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Chugh21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DavenportK21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Farmer21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GonzalezGNS21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Gouezel21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Hasan21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Holub21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Huch21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/JunkS21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Khan21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Koepke021>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KoepkeLL21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KovacsV21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kruse21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MarcusKRS21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/NodaNK21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Pak21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Purgal21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/RaskaS21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Wenzel21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Wenzel21a>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Wieser21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/YamamichiSNW21>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Yang21>
|
|
dc:publisher
|
CEUR-WS.org
(xsd:string)
|
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/mkm/2021w/dblp>
|
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/mkm/2021w>
|
|
rdfs:seeAlso
|
<https://ceur-ws.org/Vol-3377>
|
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/mkm>
|
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/mkm/cicm2021w.html>
|
|
dc:title
|
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.
(xsd:string)
|
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
|
rdf:type
|
swrc:Proceedings
|
|
rdf:type
|
foaf:Document
|
|
swrc:volume
|
3377
(xsd:string)
|
![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)