The following pages link to Herbrand Award acceptance speech (Q1425162):
Displaying 3 items.
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Acceptance Speech of Arthur J. Krener for the 2012 Richard E. Bellman Control Heritage Award [People in Control] (Q5375808) (← links)