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

Cached

Download Links

by Andreas Franke , Michael Kohlhase
Venue:CADE17, LNAI 1831
Citations:25 - 12 self