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

Search results