Mathematician:Peter Bruce Andrews
Jump to navigation
Jump to search
Mathematician
American mathematician best known for creating the TPS automated theorem prover.
Nationality
American
History
- Born: 1937, USA
Publications