Items where Author is "Southern, J."
Group by: Item Type | No Grouping
Jump to: Other form of assessable output
Number of items: 1.
Other form of assessable output
Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems University of Brighton, Brighton, UK. (Unpublished)