Deploy Repository: No conditions. Results ordered -Date.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:24:10 +0000Wed, 17 Jan 2018 12:24:10 +0000en Learning from an expert's proof: AI4FM
http://deploy-eprints.ecs.soton.ac.uk/279/
Freitas, Leo and Jones, Cliff B. (2010) Learning from an expert's proof: AI4FM. [["eprint_typename_conferenceitem" not defined]] AI4FM: A New Project Seeking Challenges!
http://deploy-eprints.ecs.soton.ac.uk/277/
Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! [["eprint_typename_conferenceitem" not defined]] The AI4FM approach for automation within formal methods
http://deploy-eprints.ecs.soton.ac.uk/278/
Grov, Gudmund and Bundy, Alan and Jones, Cliff B. and Ireland, Andrew (2010) The AI4FM approach for automation within formal methods. [["eprint_typename_conferenceitem" not defined]]