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

@proceedings{pub10339,
    editor = {

Hasan, Osman
 and 

Youssef, Abdou
 and 

Naumowicz, Adam
 and 

Farmer, William M.
 and 

Kaliszyk, Cezary
 and 

Gallois-Wong, Diane
 and 

Rabe, Florian
 and 

Reis, Gabriel Dos
 and 

Passmore, James H. Davenport Grant O.
 and 

Pfeiffer, Markus
 and 

Kohlhase, Michael
 and 

Autexier, Serge
 and 

Tahar, Sofiène
 and 

Koprucki, Thomas
 and 

Siddique, Umair
 and 

Neuper, Walther
 and 

Windsteiger, Wolfgang
 and 

Schreiner, Wolfgang
 and 

Sperber, Wolfram
 and 

Kovács, Zoltán
},
    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. Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM-WS-2018), befindet sich co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), August 13-17, Hagenberg, Austria},
    series = {CEUR Workshop Proceedings},
    year = {2019},
    month = {1},
    volume = {2307},
    organization = {CEUR-WS.org},
    publisher = {CEUR-WS.org}
}