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 |
|---|---|
| Status: | Published |
| Refereed: | Yes |
| 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 |
| ISSN: | 1571-0661 |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details