MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems (2000)

Cached

Download Links

by Michael Kohlhase , Andreas Franke
Citations:41 - 11 self