Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Herbrand_Award> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Herbrand_Award abstract "The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or IJCAR conference. It comes with an endowment of US$ 1000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee.Past recipients of the award are: Larry Wos (1992) Woody Bledsoe (1994) John Alan Robinson (1996) Wu Wenjun (1997) Gérard Huet (1998) Robert S. Boyer and J Strother Moore (1999) William W. McCune (2000) Donald W. Loveland (2001) Mark E. Stickel (2002). Peter B. Andrews (2003) Harald Ganzinger (2004) Martin Davis (2005) Wolfgang Bibel (2006) Alan Bundy (2007) Edmund M. Clarke (2008) Deepak Kapur (2009) David Plaisted (2010) Nachum Dershowitz (2011) Melvin Fitting (2012) C Greg Nelson (2013) Robert L. Constable (2014) Andrei Voronkov (2015)".
- Herbrand_Award wikiPageExternalLink HerbrandAward.html.
- Herbrand_Award wikiPageID "2606059".
- Herbrand_Award wikiPageLength "1677".
- Herbrand_Award wikiPageOutDegree "30".
- Herbrand_Award wikiPageRevisionID "670845423".
- Herbrand_Award wikiPageWikiLink Alan_Bundy.
- Herbrand_Award wikiPageWikiLink Andrei_Voronkov.
- Herbrand_Award wikiPageWikiLink Automated_theorem_proving.
- Herbrand_Award wikiPageWikiLink C_Greg_Nelson.
- Herbrand_Award wikiPageWikiLink Category:Computer_science_awards.
- Herbrand_Award wikiPageWikiLink Category:Logic_in_computer_science.
- Herbrand_Award wikiPageWikiLink Conference_on_Automated_Deduction.
- Herbrand_Award wikiPageWikiLink David_Plaisted.
- Herbrand_Award wikiPageWikiLink Deepak_Kapur.
- Herbrand_Award wikiPageWikiLink Donald_W._Loveland.
- Herbrand_Award wikiPageWikiLink Edmund_M._Clarke.
- Herbrand_Award wikiPageWikiLink France.
- Herbrand_Award wikiPageWikiLink Gérard_Huet.
- Herbrand_Award wikiPageWikiLink Harald_Ganzinger.
- Herbrand_Award wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- Herbrand_Award wikiPageWikiLink J_Strother_Moore.
- Herbrand_Award wikiPageWikiLink Jacques_Herbrand.
- Herbrand_Award wikiPageWikiLink John_Alan_Robinson.
- Herbrand_Award wikiPageWikiLink Larry_Wos.
- Herbrand_Award wikiPageWikiLink Mark_E._Stickel.
- Herbrand_Award wikiPageWikiLink Martin_Davis.
- Herbrand_Award wikiPageWikiLink Melvin_Fitting.
- Herbrand_Award wikiPageWikiLink Nachum_Dershowitz.
- Herbrand_Award wikiPageWikiLink Peter_B._Andrews.
- Herbrand_Award wikiPageWikiLink Peter_B._Andrews_(mathematician).
- Herbrand_Award wikiPageWikiLink Robert_L._Constable.
- Herbrand_Award wikiPageWikiLink Robert_Lee_Constable.
- Herbrand_Award wikiPageWikiLink Robert_S._Boyer.
- Herbrand_Award wikiPageWikiLink William_McCune.
- Herbrand_Award wikiPageWikiLink Wolfgang_Bibel.
- Herbrand_Award wikiPageWikiLink Woody_Bledsoe.
- Herbrand_Award wikiPageWikiLink Wu_Wenjun.
- Herbrand_Award wikiPageWikiLinkText "Herbrand Award for Distinguished Contributions to Automated Deduction".
- Herbrand_Award wikiPageWikiLinkText "Herbrand Award".
- Herbrand_Award hasPhotoCollection Herbrand_Award.
- Herbrand_Award subject Category:Computer_science_awards.
- Herbrand_Award subject Category:Logic_in_computer_science.
- Herbrand_Award hypernym Award.
- Herbrand_Award type Award.
- Herbrand_Award type Award.
- Herbrand_Award comment "The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or IJCAR conference. It comes with an endowment of US$ 1000.".
- Herbrand_Award label "Herbrand Award".
- Herbrand_Award sameAs Herbrand_Award.
- Herbrand_Award sameAs Premio_Herbrand.
- Herbrand_Award sameAs Prêmio_Herbrand.
- Herbrand_Award sameAs m.07r7y8.
- Herbrand_Award sameAs Q449390.
- Herbrand_Award sameAs Q449390.
- Herbrand_Award wasDerivedFrom Herbrand_Award?oldid=670845423.
- Herbrand_Award isPrimaryTopicOf Herbrand_Award.