The Community for Technology Leaders
Visual Languages and Human-Centric Computing, IEEE Symposium on (2007)
Coeur d?Al?ne, Idaho
Sept. 23, 2007 to Sept. 27, 2007
ISBN: 0-7695-2987-9
pp: 3
Philip Cox , Dalhousie University, Canada
Andrew Fish , University of Brighton, UK
John Howse , University of Brighton, UK
ABSTRACT
Diagrams of one sort or another have always been used as aids to abstract reasoning. Although many are informal mnemonics, reminding their authors about structures and relationships they have observed or deduced, considerable research effort has been expended on formalising graphical notations so that they may play a more central role in the application of logic to problems.
INDEX TERMS
null
CITATION

P. Cox, J. Howse and A. Fish, "Visual Languages and Logic," 2007 IEEE Symposium on Visual Languages and Human-Centric Computing(VLHCC), Coeur d'Alene, ID, 2007, pp. 3.
doi:10.1109/VLHCC.2007.56
89 ms
(Ver 3.3 (11022016))