Graphical Representation of Canonical Proof: Two Case Studies
Reference:
Heijltjes, W., 2012. Graphical Representation of Canonical Proof: Two Case Studies. Thesis (Doctor of Philosophy (PhD)). University of Edinburgh.
Related documents:
![[img]](http://opus.bath.ac.uk/style/images/fileicons/application_pdf.png)
| PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (1397kB) | Preview |
Details
| Item Type | Thesis (Doctor of Philosophy (PhD)) |
| Creators | Heijltjes, W. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 32339 |
Export
Actions (login required)
| View Item |
