Discovering applications of higher order functions through proof planning

Andrew Cook, Andrew Ireland, Gregory John Michaelson, Norman Scaife

Research output: Contribution to journalArticle

4 Citations (Scopus)

Fingerprint Dive into the research topics of 'Discovering applications of higher order functions through proof planning'. Together they form a unique fingerprint.

Engineering & Materials Science