Pages that link to "Herbrand Award"
From HandWiki
The following pages link to Herbrand Award:
Displayed 21 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Competitions and prizes in artificial intelligence (← links)
- Biography:Donald W. Loveland (← links)
- Biography:List of programming language researchers (← links)
- Biography:Peter B. Andrews (← links)
- Biography:Alan Bundy (← links)
- Biography:Wolfgang Bibel (← links)
- Biography:Woody Bledsoe (← links)
- Biography:Greg Nelson (computer scientist) (← links)
- Biography:Tobias Nipkow (← links)
- Biography:Nachum Dershowitz (← links)
- Biography:Melvin Fitting (← links)
- Biography:Jacques Herbrand (← links)
- Biography:J Strother Moore (← links)
- Biography:William McCune (← links)
- Biography:Edmund M. Clarke (← links)
- Biography:Mark E. Stickel (← links)
- Biography:John Alan Robinson (← links)
- Biography:Harald Ganzinger (← links)
- Biography:Bruno Buchberger (← links)
- Biography:Gérard Huet (← links)
- Software:Z3 Theorem Prover (← links)
