Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
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