Edinburgh Research Explorer

A proposal for automating diagrammatic reasoning in continuous domains

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

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 proceedingConference contribution

Harvard

Winterstein, D, Bundy, A & Jamnik, M 2000, A proposal for automating diagrammatic reasoning in continuous domains. in Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings. Lecture Notes in Computer Science, vol. 1889, Springer Berlin Heidelberg, pp. 286-299. DOI: 10.1007/3-540-44590-0_26

APA

Winterstein, D., Bundy, A., & Jamnik, M. (2000). A proposal for automating diagrammatic reasoning in continuous domains. In Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings (pp. 286-299). (Lecture Notes in Computer Science; Vol. 1889). Springer Berlin Heidelberg. DOI: 10.1007/3-540-44590-0_26

Vancouver

Winterstein D, Bundy A, Jamnik M. A proposal for automating diagrammatic reasoning in continuous domains. In 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). Available from, DOI: 10.1007/3-540-44590-0_26

Author

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