![](https://www.pdfsearch.io/img/41865c4ad2c3bcca98d255fd300f39d1.jpg) 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 Website File Size: 311,90 KBShare Document on Facebook
|