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 Sat May 23 00:44:49 2015 BST.