Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Anderson, Michael (Editor, http://id.loc.gov/vocabulary/relators/edt), Cheng, Peter (Editor, http://id.loc.gov/vocabulary/relators/edt), Haarslev, Volker (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Artificial Intelligence ; 1889
• Subjects: Artificial intelligence.; Computers.; Software engineering.; Computer programming.; Computer science-Mathematics.; User interfaces (Computer systems).; Artificial Intelligence.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Discrete Mathematics in Computer Science.; User Interfaces and Human Computer Interaction.

Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in huma...