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 proceedingConference contribution

3 Citations (Scopus)
2 Downloads (Pure)
Filter
Finished

Search results