University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Daniel Winterstein
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
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 <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh