Assisted proof document authoring (2006)

Cached

Download Links

by David Aspinall , Christoph Lüth , Burkhart Wolff
Venue:Mathematical Knowledge Management MKM 2005, LNAI 3863
Citations:10 - 3 self