Assisted proof document authoring (0)

by D Aspinall, C Lüth, B Wolff
Venue:in: Mathematical Knowledge Management MKM 2005, LNAI 3863 (2006