Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Geoff_Sutcliffe> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Automated_theorem_proving wikiPageWikiLink Geoff_Sutcliffe.
- CADE_ATP_System_Competition wikiPageWikiLink Geoff_Sutcliffe.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Geoff_Sutcliffe.
- System_on_TPTP wikiPageWikiLink Geoff_Sutcliffe.
- CASC author Geoff_Sutcliffe.
- Geoff_Sutcliffe primaryTopic Geoff_Sutcliffe.