Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004
zbMATH Open1110.03302MaRDI QIDQ878020
Author name not available (Why is that?)
Publication date: 25 April 2007
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Recommendations
- A graph theoretic approach to general Euler diagram drawing ๐ ๐
- Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22--24, 2004. Proceedings. ๐ ๐
- Euler-type diagrams and the quantification of the predicate ๐ ๐
- Abstractions of Euler diagrams ๐ ๐
- Euler Diagrams Through the Looking Glass: From Extent to Intent ๐ ๐
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams ๐ ๐
- Sequent Calculus for Euler Diagrams ๐ ๐
This page was built for publication: Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878020)