ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Gudmond Grov

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