Mathematician:Peter Bruce Andrews

From ProofWiki
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


Also see