Education
He received his Doctor of Philosophy from Princeton University in 1964 under the tutelage of Alonzo Church.
- Photos
- Works
- Photos
- Works
Peter Bruce
Edit Profile
Career
His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.
Achievements
-
Born
Education
Awards
-
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Incorporated. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction.The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Incorporated. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction.