Knowledge-based interoperability for mathematical software systems

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Johannes Pfeiffer, Florian Rabe, Nicolas Thiéry, Victor Vasilyev, Tom Wiesing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
H2020 OPENDREAMKIT: OPENDREAMKIT (partner)
Linton, S. A. (PI) & Konovalov, O. (CoI)
European Commission
1/09/15 → 31/08/19
Project: Standard