Automated Theorem Proving in Euler Diagram Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern. Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning, 39(4):431-470, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Gem Stapleton

Look up 'Gem Stapleton' in GoogleThis author has not been identified. Look up 'Judith Masthoff' in GoogleThis author has not been identified. Look up 'Jean Flower' in GoogleThis author has not been identified. Look up 'Andrew Fish' in GoogleThis author has not been identified. Look up 'Jane Southern' in Google

runs on WebDSL