%0 Conference Paper %1 Dau2009b %A Dau, Frithjof %B ICFCA %D 2009 %E Ferré, Sébastien %E Rudolph, Sebastian %I Springer %K diagrams %P 38-56 %R 10.1007/978-3-642-01815-2_3 %T The Advent of Formal Diagrammatic Reasoning Systems %V 5548 %@ 978-3-642-01814-5

@inproceedings{Dau2009b, added-at = {2012-04-09T11:34:13.000+0200}, author = {Dau, Frithjof}, biburl = {https://www.bibsonomy.org/bibtex/254581266c04d3a899c18c889d797c388/voj}, booktitle = {ICFCA}, doi = {10.1007/978-3-642-01815-2_3}, editor = {Ferré, Sébastien and Rudolph, Sebastian}, interhash = {dda9f6b7b00c4d210e0b1177a53334a9}, intrahash = {54581266c04d3a899c18c889d797c388}, isbn = {978-3-642-01814-5}, keywords = {diagrams}, pages = {38-56}, publisher = {Springer}, series = {LNCS}, timestamp = {2012-04-19T17:33:52.000+0200}, title = {The Advent of Formal Diagrammatic Reasoning Systems}, volume = 5548, year = 2009 }