%0 Conference Paper %1 conf/dms/StapletonTFHT05 %A Stapleton, Gem %A Thompson, Simon J. %A Fish, Andrew %A Howse, John %A Taylor, John %B DMS %D 2005 %E Guercio, Angela %E Arndt, Timothy %I Knowledge Systems Institute %K dblp %P 287-292 %T A New Language for the Visualization of Logic and Reasoning. %U http://dblp.uni-trier.de/db/conf/dms/dms2005.html#StapletonTFHT05 %@ 1-891706-17-9

@inproceedings{conf/dms/StapletonTFHT05, added-at = {2018-08-22T00:00:00.000+0200}, author = {Stapleton, Gem and Thompson, Simon J. and Fish, Andrew and Howse, John and Taylor, John}, biburl = {https://www.bibsonomy.org/bibtex/298f5d34ef459a682cdb8aed45415daa8/dblp}, booktitle = {DMS}, crossref = {conf/dms/2005}, editor = {Guercio, Angela and Arndt, Timothy}, interhash = {d30c071781978e925d4a85efa898af53}, intrahash = {98f5d34ef459a682cdb8aed45415daa8}, isbn = {1-891706-17-9}, keywords = {dblp}, pages = {287-292}, publisher = {Knowledge Systems Institute}, timestamp = {2018-08-23T11:40:10.000+0200}, title = {A New Language for the Visualization of Logic and Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/dms/dms2005.html#StapletonTFHT05}, year = 2005 }