FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
Jacques Herbrand
1908–1931 · Mathematician
Mathematician
Developed a theorem foundational to automated reasoning.
FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
1908–1931 · Mathematician
Developed a theorem foundational to automated reasoning.