Jane Southern

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern
Automated Theorem Proving in Euler Diagram Systems. J. Autom. Reason. 39 (4) (2007)