loading...
Visual Languages and Logic
Coeur d?Al?ne, Idaho September 23-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.56IEEE Symposium on Visual Languages an ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Philip Cox, Andrew Fish, John Howse, "Visual Languages and Logic," Visual Languages - Human Centric Computing, pp. 3, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/VLHCC.2007.56,
author = {Philip Cox and Andrew Fish and John Howse},
title = {Visual Languages and Logic},
journal ={Visual Languages - Human Centric Computing},
volume = {0},
year = {2007},
isbn = {0-7695-2987-9},
pages = {3},
doi = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.56},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Visual Languages - Human Centric Computing
TI - Visual Languages and Logic
SN - 0-7695-2987-9
SP
EP
A1 - Philip Cox,
A1 - Andrew Fish,
A1 - John Howse,
PY - 2007
KW - null
VL - 0
JA - Visual Languages - Human Centric Computing
ER -
 
Philip Cox, Dalhousie University, Canada
Andrew Fish, University of Brighton, UK
John Howse, University of Brighton, UK
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.
Citation:
Philip Cox, Andrew Fish, John Howse, "Visual Languages and Logic," vlhcc, pp.3, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.