Integrating searching and authoring in Mizar.

Cairns, P. and Gow, J. (2007) Integrating searching and authoring in Mizar. Journal of Automated Reasoning, 39 (2). pp. 141-160. ISSN 0168-7433



  • Cairns, P. (
  • Gow, J.
  • Published: 2007
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 07 May 2009 11:28
Last Modified: 07 May 2009 11:28
Published Version:
Status: Published
Publisher: Springer Science + Business Media
Identification Number:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export