Fingerprint
Dive into the research topics of 'Automated Theorem Proving in Euler Diagram Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automated Theorem Proving in Euler Diagram Systems
Gem Stapleton, Judith Francoise Maria Masthoff, Jean Flower, Andrew Fish, Jane Southern
Research output: Contribution to journal › Article › peer-review
39
Citations
(Scopus)