## Assisted proof document authoring (2006)

### Cached

### Download Links

- [homepages.inf.ed.ac.uk]
- [www.informatik.uni-bremen.de]
- DBLP

### Other Repositories/Bibliography

by
David Aspinall
,
Christoph Lüth
,
Burkhart Wolff

Venue: | Mathematical Knowledge Management MKM 2005, LNAI 3863 |

Citations: | 10 - 3 self |