Creating a Second Order Diagrammatic Logic

First Author: Chapman P
Attributed to:  Visualization with Euler Diagrams funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-14600-8_34

Publication URI: http://dx.doi.org/10.1007/978-3-642-14600-8_34

Type: Book Chapter

Book Title: Diagrammatic Representation and Inference (2010)

Page Reference: 298-300

ISBN: 978-3-642-14599-5

ISSN: 2524-6372