How to use Edith: the Euler diagram theorem prover

  • Gem Stapleton

Research output: Other contribution

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

Access to Document

    Cite this