Items where Author is "Southern, J."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Stapleton, Gem, Masthoff, J., Flower, J., Fish, Andrew and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems University of Brighton, Brighton, UK.

This list was generated on Thu Sep 3 11:56:02 2015 BST.