Edinburgh Research Explorer

Dr. Doodle: A diagrammatic theorem prover

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

Standard

Dr. Doodle: A diagrammatic theorem prover. / Winterstein, Daniel; Bundy, Alan; Gurr, Corin.

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. ed. / David Basin; Michaël Rusinowitch. Springer Berlin Heidelberg, 2004. p. 331-335 (Lecture Notes in Computer Science; Vol. 3097).

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

Harvard

Winterstein, D, Bundy, A & Gurr, C 2004, Dr. Doodle: A diagrammatic theorem prover. in D Basin & M Rusinowitch (eds), Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Lecture Notes in Computer Science, vol. 3097, Springer Berlin Heidelberg, pp. 331-335. https://doi.org/10.1007/978-3-540-25984-8_24

APA

Winterstein, D., Bundy, A., & Gurr, C. (2004). Dr. Doodle: A diagrammatic theorem prover. In D. Basin, & M. Rusinowitch (Eds.), Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings (pp. 331-335). (Lecture Notes in Computer Science; Vol. 3097). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-25984-8_24

Vancouver

Winterstein D, Bundy A, Gurr C. Dr. Doodle: A diagrammatic theorem prover. In Basin D, Rusinowitch M, editors, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer Berlin Heidelberg. 2004. p. 331-335. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-25984-8_24

Author

Winterstein, Daniel ; Bundy, Alan ; Gurr, Corin. / Dr. Doodle: A diagrammatic theorem prover. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. editor / David Basin ; Michaël Rusinowitch. Springer Berlin Heidelberg, 2004. pp. 331-335 (Lecture Notes in Computer Science).