How to use Edith: the Euler diagram theorem prover

Gem Stapleton

Research output: Other contributionResearch

Original languageEnglish
PublisherUniversity of Brighton
Number of pages14
Place of PublicationUniversity of Brighton, Brighton, UK
Publication statusPublished - 1 Jan 2007

Bibliographical note

© 2007 The author

Cite this

Stapleton, G. (2007, Jan 1). How to use Edith: the Euler diagram theorem prover. University of Brighton, Brighton, UK: University of Brighton.
Stapleton, Gem. / How to use Edith: the Euler diagram theorem prover. 2007. University of Brighton, Brighton, UK : University of Brighton. 14 p.
@misc{7b7b0aa6e7e84f67a61009aca56997f1,
title = "How to use Edith: the Euler diagram theorem prover",
author = "Gem Stapleton",
note = "{\circledC} 2007 The author",
year = "2007",
month = "1",
day = "1",
language = "English",
publisher = "University of Brighton",
type = "Other",

}

Stapleton, G 2007, How to use Edith: the Euler diagram theorem prover. University of Brighton, University of Brighton, Brighton, UK.

How to use Edith: the Euler diagram theorem prover. / Stapleton, Gem.

14 p. University of Brighton, Brighton, UK : University of Brighton. 2007, .

Research output: Other contributionResearch

TY - GEN

T1 - How to use Edith: the Euler diagram theorem prover

AU - Stapleton, Gem

N1 - © 2007 The author

PY - 2007/1/1

Y1 - 2007/1/1

M3 - Other contribution

PB - University of Brighton

CY - University of Brighton, Brighton, UK

ER -