%0 Conference Paper %1 conf/icfca/Dau09 %A Dau, Frithjof %B ICFCA %D 2009 %E Ferré, Sébastien %E Rudolph, Sebastian %I Springer %K dblp %P 38-56 %T The Advent of Formal Diagrammatic Reasoning Systems. %U http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Dau09 %V 5548 %@ 978-3-642-01814-5

@inproceedings{conf/icfca/Dau09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Dau, Frithjof}, biburl = {https://www.bibsonomy.org/bibtex/2cc320eed544c744b55671cd74bb6dc5d/dblp}, booktitle = {ICFCA}, crossref = {conf/icfca/2009}, editor = {Ferré, Sébastien and Rudolph, Sebastian}, ee = {https://doi.org/10.1007/978-3-642-01815-2_3}, interhash = {dda9f6b7b00c4d210e0b1177a53334a9}, intrahash = {cc320eed544c744b55671cd74bb6dc5d}, isbn = {978-3-642-01814-5}, keywords = {dblp}, pages = {38-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:04:04.000+0200}, title = {The Advent of Formal Diagrammatic Reasoning Systems.}, url = {http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Dau09}, volume = 5548, year = 2009 }