Larry Wos
Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.
Larry Wos | |
|---|---|
| Born | Lawrence T. Wos 1930 |
| Died | August 21, 2020 |
| Known for | Theorem proving |
| Awards | Herbrand Award (1992) |
| Scientific career | |
| Thesis | On Commutative Prime Power Subgroups of the Norm (1957) |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.