A new language for the visualisation of logic and reasoning

  • Gem Stapleton
  • , Simon Thompson
  • , Andrew Fish
  • , John Howse
  • , John Taylor

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Fingerprint

Dive into the research topics of 'A new language for the visualisation of logic and reasoning'. Together they form a unique fingerprint.

Keyphrases

Computer Science