On differences between the real and physical plane

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2980, Issue , 2004, Pages 29-31

  Winterstein, Daniel ^a   Bundy, Alan ^a   Jamnik, Mateja ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; GRAPHIC METHODS; MEASUREMENT ERRORS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING; ARTIFICIAL INTELLIGENCE; COMPUTERS;

DIAGRAM SYSTEMS; DRAWING SURFACES; PHYSICAL DRAWING; PHYSICAL PLANES;

SCHEMATIC DIAGRAMS; GRAPHIC METHODS;

EID: 9444229929     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25931-2_6     Document Type: Conference Paper

References (2)

1. D.Winterstein "On Differences Between the Real and Physical Plane: Additional Proofs" Informatics Report Series, available online at http://homepages.inf.ed.ac.uk/s9902178/physicalDiagrama.pdf, Edinburgh University, 2003.
2. D.Winterstein, A.Bundy, C.Gurr & M.Jamnik "Using Animation in Diagrammatic Theorem Proving" in Diagrammatic Representation and Inference, SpringerVerlag, 2002.