SD2: A Sound and Complete Diagrammatic Reasoning System. Howse, J., Molina, F., & Taylor, J. In VL, pages 127-134, 2000. IEEE Computer Society.
SD2: A Sound and Complete Diagrammatic Reasoning System. [link]Link  SD2: A Sound and Complete Diagrammatic Reasoning System. [link]Paper  bibtex   
@inproceedings{ conf/vl/HowseMT00,
  added-at = {2015-08-11T00:00:00.000+0200},
  author = {Howse, John and Molina, Fernando and Taylor, John},
  biburl = {http://www.bibsonomy.org/bibtex/28ac9b818584dfa928635127201aa3018/dblp},
  booktitle = {VL},
  crossref = {conf/vl/2000},
  ee = {http://doi.ieeecomputersociety.org/10.1109/VL.2000.874376},
  interhash = {76b12f4c83663176bbdd09950b9d4e3b},
  intrahash = {8ac9b818584dfa928635127201aa3018},
  isbn = {0-7695-0840-5},
  keywords = {dblp},
  pages = {127-134},
  publisher = {IEEE Computer Society},
  title = {SD2: A Sound and Complete Diagrammatic Reasoning System.},
  url = {http://dblp.uni-trier.de/db/conf/vl/vl2000.html#HowseMT00},
  year = {2000}
}

Downloads: 0