Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: P | S

Number of items: 2.

P

Patrascoiu, Octavian, Thompson, Simon, 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. Knowledge Systems Institute ISBN 1-891706-17-9. (KAR id:14260)

S

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. Knowledge Systems Institute, pp. 287-292. ISBN 1-891706-17-9. (KAR id:14261)

This list was generated on Fri May 10 22:54:43 2024 BST.