Generating readable proofs: a heuristic approach to theorum proving with spider diagrams

Jean Flower, Judith Masthoff, Gem Stapleton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Fingerprint Dive into the research topics of 'Generating readable proofs: a heuristic approach to theorum proving with spider diagrams'. Together they form a unique fingerprint.