An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically

Alan Bundy, Gudmund Grov, Cliff B. Jones

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research