Items where Author is "Southern, J."
Group by: Item Type | No Grouping Number of items: 2. Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems Journal of automated reasoning, 39 (4). pp. 431-470. ISSN 0168-7433 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) |
| Login |
