Edinburgh Research Explorer

A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains

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

Standard

A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains. / Winterstein, D.; Bundy, Alan; Jamnik, M.

Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings. Springer-Verlag GmbH, 2000. (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 Automatic 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-Verlag GmbH.

APA

Winterstein, D., Bundy, A., & Jamnik, M. (2000). A Proposal for Automatic 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-Verlag GmbH.

Vancouver

Winterstein D, Bundy A, Jamnik M. A Proposal for Automatic 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-Verlag GmbH. 2000. (Lecture Notes in Computer Science).

Author

Winterstein, D. ; Bundy, Alan ; Jamnik, M./ A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains. Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings. Springer-Verlag GmbH, 2000. (Lecture Notes in Computer Science).