System Description: MBase, an Open Mathematical Knowledge Base (2000)

Cached

Download Links

by Andreas Franke , Michael Kohlhase
Venue:CADE17, LNAI 1831
Citations:21 - 9 self