Sign in

Knowledge-Based Interoperability for Mathematical Software Systems.

Michael KohlhaseLuca De FeoDennis MüllerMarkus PfeifferFlorian RabeNicolas M. ThiéryVictor VasilyevTom Wiesing
Published in: MACIS (2017)
Keyphrases