| Document Date: 2015-04-10 11:01:31
Open Document File Size: 336,68 KBShare Result on Facebook
Company HCA / / / Facility Newcastle University / / IndustryTerm external tool / proof strategy search / simplifying proof strategy search / / Organization Newcastle University / Iain Whiteside School of Computing Science / / Person Cliff B. Jones / / Position mural theorem proving assistant / heap memory manager / engineer / / Product pre-OP / / ProgrammingLanguage C / / Technology artificial intelligence / dom / Machine learning / /
SocialTag |
A Model for Capturing and Replaying Proof Strategies Leo Freitas, Cliff B. Jones, Andrius Velykis and Iain Whiteside School of Computing Science, Newcastle University, NE1 7RU, UK