How to use Edith: the Euler diagram theorem prover

Tools

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

Preview

PDF
361Kb

Item Type:	Other form of assessable output
Subjects:	G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):	VMG.07.1
Faculties:	Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:	2993
Deposited By:	Helen Webb
Deposited On:	10 Nov 2007
Last Modified:	13 Jul 2012 17:37

Repository Staff Only: item control page