Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles (2004)

Cached

Download Links

by Grzegorz Bancerek , Josef Urban
Venue:Proceeding of the Third International Conference on Mathematical Knowledge Management
Citations:10 - 3 self