On a Uniform Logical Framework for Diagrammatic Reasoning

Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce. On a Uniform Logical Framework for Diagrammatic Reasoning. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 64-71, IEEE Computer Society, 2001. [doi]

Authors

Paolo Bottoni

This author has not been identified. Look up 'Paolo Bottoni' in Google

Bernd Meyer

This author has not been identified. Look up 'Bernd Meyer' in Google

Francesco Parisi-Presicce

This author has not been identified. Look up 'Francesco Parisi-Presicce' in Google