Learning from Experts to Aid the Automation of Proof Search.

Alan Bundy, Gudmund Grov, Cliff B. Jones

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Learning from Experts to Aid the Automation of Proof Search.'. Together they form a unique fingerprint.

Engineering & Materials Science