Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Conference or workshop item

Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)
[img]
Preview

Patrascoiu, Octavian and Thompson, Simon and Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)
[img]
Preview

Edited book

Cox, Philip and Plimmer, Beryl and Rodgers, Peter, eds. (2012) Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012. LNCS (LNAI), 7352 . Springer ISBN 978-3-642-31222-9. (The full text of this publication is not available from this repository)

This list was generated on Thu Sep 18 18:48:58 2014 BST.