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

Abstract

Metadata

Authors/Creators:
  • Cairns, P. (pc530@york.ac.uk)
  • Gow, J.
Institution: The University of York
Academic Units: The University of 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: http://dx.doi.org/10.1007/s10817-007-9073-2
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1007/s10817-007-9073-2

Share / Export

Statistics