Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Herbrand_Award> }
Showing triples 1 to 21 of
21
with 100 triples per page.
- Alan_Bundy award Herbrand_Award.
- John_Alan_Robinson award Herbrand_Award.
- Nachum_Dershowitz award Herbrand_Award.
- Alan_Bundy wikiPageWikiLink Herbrand_Award.
- Andrei_Voronkov wikiPageWikiLink Herbrand_Award.
- Automated_theorem_proving wikiPageWikiLink Herbrand_Award.
- Competitions_and_prizes_in_artificial_intelligence wikiPageWikiLink Herbrand_Award.
- Donald_W._Loveland wikiPageWikiLink Herbrand_Award.
- Edmund_M._Clarke wikiPageWikiLink Herbrand_Award.
- Harald_Ganzinger wikiPageWikiLink Herbrand_Award.
- J_Strother_Moore wikiPageWikiLink Herbrand_Award.
- John_Alan_Robinson wikiPageWikiLink Herbrand_Award.
- Larry_Wos wikiPageWikiLink Herbrand_Award.
- List_of_prizes,_medals_and_awards wikiPageWikiLink Herbrand_Award.
- Mark_E._Stickel wikiPageWikiLink Herbrand_Award.
- Max_Planck_Institute_for_Informatics wikiPageWikiLink Herbrand_Award.
- Melvin_Fitting wikiPageWikiLink Herbrand_Award.
- Nachum_Dershowitz wikiPageWikiLink Herbrand_Award.
- Peter_B._Andrews wikiPageWikiLink Herbrand_Award.
- Alan_Bundy prizes Herbrand_Award.
- Herbrand_Award primaryTopic Herbrand_Award.