Author: Daniel Winterstein
Publication Overview
Publication period start: 2004
Number of co-authors: 3
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Winterstein,
Daniel,
Bundy,
Alan,
Gurr,
Corin A.,
Jamnik,
Mateja
(2002):
Using Animation in Diagrammatic Theorem Proving.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 46-60.
https://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm
Winterstein,
Daniel,
Bundy,
Alan,
Gurr,
Corin A.,
Jamnik,
Mateja
(2004):
An Experimental Comparison of Diagrammatic and Algebraic Logics.
In:
Blackwell,
Alan,
Marriott,
Kim,
Shimojima,
Atsushi
(eds.)
Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference
March 22-24,
2004,
Cambridge, UK.
pp. 432-434.
https://link.springer.de/link/service/series/0558/bibs/2980/29800432.htm
Winterstein,
Daniel,
Bundy,
Alan,
Jamnik,
Mateja
(2000):
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.
In:
Anderson,
Michael,
Cheng,
Peter C-H.,
Haarslev,
Volker
(eds.)
Diagrams 2000 - Theory and Application of Diagrams - First International Conference
September 1-3,
2000,
Edinburgh, Scotland, UK.
pp. 286-299.
https://link.springer.de/link/service/series/0558/bibs/1889/18890286.htm
Winterstein,
Daniel,
Bundy,
Alan,
Jamnik,
Mateja
(2004):
On Differences between the Real and Physical Plane.
In:
Blackwell,
Alan,
Marriott,
Kim,
Shimojima,
Atsushi
(eds.)
Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference
March 22-24,
2004,
Cambridge, UK.
pp. 29-31.
https://link.springer.de/link/service/series/0558/bibs/2980/29800029.htm