How to use Edith: the Euler diagram theorem prover

STAPLETON, GEM (2007) How to use Edith: the Euler diagram theorem prover University of Brighton, University of Brighton, Brighton, UK.

[img]
Preview
Text
HowToUseEdith.pdf - Published Version

Download (370kB) | Preview
Item Type: Other form of assessable output
Additional Information: © 2007 The author
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 10 Nov 2007
Last Modified: 21 May 2014 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/2993

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year