loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007)
Coeur d?Al?ne, Idaho
September 23-September 27
ISBN: 0-7695-2987-9
ASCII Text
x 
 
Philip Cox, Andrew Fish, John Howse, "Visual Languages and Logic," Visual Languages and Human-Centric Computing, IEEE Symposium on, 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 and Human-Centric Computing, IEEE Symposium on},
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 and Human-Centric Computing, IEEE Symposium on
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 and Human-Centric Computing, IEEE Symposium on
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.