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
PDF - Published Version
361Kb

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
ID Code:2993
Deposited By:Converis
Deposited On:10 Nov 2007
Last Modified:31 Jul 2013 10:38

Repository Staff Only: item control page