Informatics Report Series


Author   

Ewen Maclean


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Report Date Title
EDI-INF-RR-0178 Aug 2001 Automating Proof in Non-standard Analysis
EDI-INF-RR-0175 Mar 2002 Proof-planning Non-standard Analysis (ii)
EDI-INF-RR-0173 Jan 2002 Proof-planning Non-standard Analysis


Home : Publications : Author 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh