| Original language | English |
|---|---|
| Publisher | University of Brighton |
| Number of pages | 14 |
| Place of Publication | University of Brighton, Brighton, UK |
| Publication status | Published - 1 Jan 2007 |
How to use Edith: the Euler diagram theorem prover
Gem Stapleton
Research output: Other contribution