• DocumentCode
    1802695
  • Title

    Visual Languages and Logic

  • Author

    Cox, Philip ; Fish, Andrew ; Howse, John

  • Author_Institution
    Dalhousie University, Canada
  • fYear
    2007
  • fDate
    23-27 Sept. 2007
  • Firstpage
    3
  • Lastpage
    3
  • 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.
  • Keywords
    Application software; Computational modeling; Computer interfaces; LAN interconnection; Laboratories; Logic design; Logic programming; Marine animals;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
  • Conference_Location
    Coeur d´Alene, ID, USA
  • Print_ISBN
    978-0-7695-2987-5
  • Type

    conf

  • DOI
    10.1109/VLHCC.2007.56
  • Filename
    4351316
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1802695