Skip to main content
Kent Academic Repository

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: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. pp. 287-292. ISBN 1-891706-17-9. (Full text available)
[img]
Preview

Patrascoiu, Octavian and Thompson, Simon and Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. pp. 279-286. ISBN 1-891706-17-9. (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. (doi:https://doi.org/10.1007/978-3-642-31223-6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Thu May 23 09:26:17 2019 BST.