Edinburgh Research Explorer

Learning from Experts to Aid the Automation of Proof Search.

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

Standard

Learning from Experts to Aid the Automation of Proof Search. / Bundy, Alan; Grov, Gudmund; Jones, Cliff B.

Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009). 2009.

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

Harvard

Bundy, A, Grov, G & Jones, CB 2009, Learning from Experts to Aid the Automation of Proof Search. in Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009).

APA

Bundy, A., Grov, G., & Jones, C. B. (2009). Learning from Experts to Aid the Automation of Proof Search. In Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009)

Vancouver

Bundy A, Grov G, Jones CB. Learning from Experts to Aid the Automation of Proof Search. In Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009). 2009

Author

Bundy, Alan ; Grov, Gudmund ; Jones, Cliff B. / Learning from Experts to Aid the Automation of Proof Search. Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009). 2009.