Location of Repository

How to use Edith: the Euler diagram theorem prover

By Gem Stapleton
Topics: G100 Mathematics
Publisher: University of Brighton
Year: 2007
OAI identifier: oai:eprints.brighton.ac.uk:2993

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.