Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A proposal for automating diagrammatic reasoning in continuous domains. / Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja.
Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings. Springer Berlin Heidelberg, 2000. p. 286-299 (Lecture Notes in Computer Science; Vol. 1889).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution