Skip to main navigation Skip to search Skip to main content

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

Alan Bundy, Gudmund Grov, Cliff B. Jones

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

Fingerprint

Dive into the research topics of 'An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically'. Together they form a unique fingerprint.
Sort by

Computer Science