Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Gudmond Grov.

Newcastle AuthorsTitleYearFull 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 language2010
Emeritus Professor Cliff Jones
Dr Gudmond Grov
Ideas for a high-level proof strategy language2010
Dr Gudmond Grov
Emeritus Professor Cliff Jones
The AI4FM approach for automation within formal methods2010
Dr Gudmond Grov
Emeritus Professor Cliff Jones
Learning from experts to aid the automation of proof search2009