Informatics Report Series


Daniel Winterstein

Related Pages

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

Report Date Title
EDI-INF-RR-0348 2004 An Experimental Comparison of Diagrammatic and Algebraic Logics
EDI-INF-RR-0331 2002 Using Animation in Diagrammatic Theorem Proving
EDI-INF-RR-0291 Sep 2000 A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
EDI-INF-RR-0208 Dec 2003 On differences between the real and physical Plane: Analysis of the inside relation
EDI-INF-RR-0207 Oct 2003 A Proposal for Interactive Program Generation
EDI-INF-RR-0054 Nov 2001 Evaluating Machine Creativity

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh