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 Masthoff, Jean Flower, Andrew Fish, Jane Southern
Research output: Contribution to journal › Article › peer-review