DFKI Logo

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz

DE

Publications

Search narrowed by:

Authors: Wolfram Sperber Authors: Serge Autexier Authors: Florian Rabe Authors: Markus Pfeiffer Remove all filters
Displaying results 1 to 1 of 1
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, James H. Davenport Grant O. Passmore, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács (editor)

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) co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018) August 13-17 Hagenberg Austria CEUR Workshop Proceedings 2307 CEUR-WS.org 1/2019.

To the publication

Follow us on:

Editor

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)

Trippstadter Str. 122
67663 Kaiserslautern
Germany

Phone: +49 631 20575 0
Fax: +49 631 20575 5030

Newsletter

View all

Locations

© DFKI, 2021

DFKI Logo

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz

© DFKI, 2021