Newcastle Authors	Title	Year
Dr Gudmond Grov Professor Cliff Jones	AI4FM: A new project seeking challenges!	2010
Dr Gudmond Grov Professor Cliff Jones	AI4FM: A New Project Seeking Challenges!	2010
Professor Cliff Jones Dr Gudmond Grov	Ideas for a high-level proof strategy language	2010
Professor Cliff Jones Dr Gudmond Grov	Ideas for a high-level proof strategy language	2010
Dr Gudmond Grov Professor Cliff Jones	The AI4FM approach for automation within formal methods	2010
Dr Gudmond Grov Professor Cliff Jones	Learning from experts to aid the automation of proof search	2009

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 208 2920
Contact ePrints admin | Accessibility