Ascertaining mathematical theorems

Smith, P. (2006) Ascertaining mathematical theorems. Electronic Notes in Theoretical Computer Science, 151, pp. 21-38.

Full text not currently available from Enlighten.

Item Type:Articles
Glasgow Author(s) Enlighten ID:Smith, Professor Patrick
Authors: Smith, P.
College/School:College of Science and Engineering > School of Mathematics and Statistics > Mathematics
Journal Name:Electronic Notes in Theoretical Computer Science

University Staff: Request a correction | Enlighten Editors: Update this record