Items where Author is "Southern, J."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
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)

This list was generated on Wed Aug 27 12:07:33 2014 BST.