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