Automated Theorem Proving in Euler Diagram Systems.

Gem Stapleton Judith Masthoff Jean Flower Andrew Fish Jane Southern

Published in: J. Autom. Reason. (2007)

Keyphrases

automated theorem proving
intelligent systems
data sets
distributed systems
retrieval systems
differential equations
management system
semi supervised