Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
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) |
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) |