Search dblp for Publications

export results for "A New Language for the Visualization of Logic and Reasoning"

 download as .bib file

@inproceedings{DBLP:conf/dms/StapletonTFHT05,
  author    = {Gem Stapleton and
               Simon J. Thompson and
               Andrew Fish and
               John Howse and
               John Taylor},
  editor    = {Angela Guercio and
               Timothy Arndt},
  title     = {A New Language for the Visualization of Logic and Reasoning},
  booktitle = {Proceedings of the 11th International Conference on Distributed Multimedia
               Systems, {DMS} 2005, September 5-7, 2005, Fairmont Banff Springs Hotel,
               Banff, Alberta, Canada},
  pages     = {287--292},
  publisher = {Knowledge Systems Institute},
  year      = {2005},
  timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/dms/StapletonTFHT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics