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
- Weight
- Alphabetically
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