Misplaced Pages

The following pages link to Herbrand Award

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 33 items.

• Jacques Herbrand (links | edit)
• Zohar Manna (links | edit)
• J Strother Moore (links | edit)
• Bruno Buchberger (links | edit)
• Franz Baader (links | edit)
• Woody Bledsoe (links | edit)
• Peter B. Andrews (links | edit)
• Alan Bundy (links | edit)
• John Alan Robinson (links | edit)
• Harald Ganzinger (links | edit)
• Edmund M. Clarke (links | edit)
• Competitions and prizes in artificial intelligence (links | edit)
• Gérard Huet (links | edit)
• William McCune (links | edit)
• List of programming language researchers (links | edit)
• Wolfgang Bibel (links | edit)
• Larry Wos (links | edit)
• Donald W. Loveland (links | edit)
• Melvin Fitting (links | edit)
• Nachum Dershowitz (links | edit)
• Tobias Nipkow (links | edit)
• Mark E. Stickel (links | edit)
• Greg Nelson (computer scientist) (links | edit)
• Andrei Voronkov (links | edit)
• Jacques Herbrand Prize (links | edit)
• Z3 Theorem Prover (links | edit)
• List of computer science awards (links | edit)
• Deepak Kapur (links | edit)
• Talk:Herbrand Award (transclusion) (links | edit)
• User:Stinglehammer/Royal Society of Edinburgh fellowships (links | edit)
• User:Stinglehammer/Edinburgh University (links | edit)
• Misplaced Pages:WikiProject TypoScan/Manual/022 (links | edit)
• Misplaced Pages talk:WikiProject Articles for creation/Reviewer help/2013 1 (links | edit)