First Page | Document Content | |
---|---|---|
Date: 2018-07-03 04:41:37 | Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4Add to Reading ListSource URL: research-repository.st-andrews.ac.ukDownload Document from Source WebsiteFile Size: 311,90 KBShare Document on Facebook |