Mathematician:Peter Bruce Andrews

Mathematician
American mathematician best known for creating the TPS automated theorem prover.

Nationality
American

History

 * Born: 1937, USA

Publications

 * 1986:
 * 2002:

Also see

 * TPS: Theorem Proving System