Integrating Searching and Authoring in Mizar Paul Cairns and Jeremy Gow UCL Interaction Centre, University College London, 31-32 Alfred Place, London WC1E 7DP, UK 31st January, 2006 Abstract. The vision of a computerised - Mizar - Document - PDFSEARCH.IO

First Page	Meta Content
	Integrating Searching and Authoring in Mizar Paul Cairns and Jeremy Gow UCL Interaction Centre, University College London, 31-32 Alfred Place, London WC1E 7DP, UK 31st January, 2006 Abstract. The vision of a computerised Add to Reading List Document Date: 2006-02-01 08:35:44 Open Document File Size: 419,36 KB Share Result on Facebook

Integrating Searching and Authoring in Mizar Paul Cairns and Jeremy Gow UCL Interaction Centre, University College London, 31-32 Alfred Place, London WC1E 7DP, UK 31st January, 2006 Abstract. The vision of a computerisedAdd to Reading List