title: Learning from an expert's proof: AI4FM
creator: Freitas, Leo
creator: Jones, Cliff B.
date: 2010-11
type: ["eprint_typename_conferenceitem" not defined]
type: NonPeerReviewed
relation: http://fm.csl.sri.com/UV10/submissions/uv2010submission18.pdf
identifier:   Freitas, Leo and Jones, Cliff B.  (2010) Learning from an expert's proof: AI4FM.  [["eprint_typename_conferenceitem" not defined]]     
relation: http://deploy-eprints.ecs.soton.ac.uk/279/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>