%0 Conference Paper %1 conf/vl/BottoniMP01 %A Bottoni, Paolo %A Meyer, Bernd %A Parisi-Presicce, Francesco %B HCC %D 2001 %I IEEE Computer Society %K dblp %P 64-71 %T On a Uniform Logical Framework for Diagrammatic Reasoning. %U http://dblp.uni-trier.de/db/conf/vl/hcc2001.html#BottoniMP01 %@ 0-7803-7198-4

@inproceedings{conf/vl/BottoniMP01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Bottoni, Paolo and Meyer, Bernd and Parisi-Presicce, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/295c613da957110d73af087988864630d/dblp}, booktitle = {HCC}, crossref = {conf/vl/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/HCC.2001.995240}, interhash = {1c5f34bf7eeb037009327d8c09d3e9ce}, intrahash = {95c613da957110d73af087988864630d}, isbn = {0-7803-7198-4}, keywords = {dblp}, pages = {64-71}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:35:59.000+0200}, title = {On a Uniform Logical Framework for Diagrammatic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/vl/hcc2001.html#BottoniMP01}, year = 2001 }