Date: Tue, 07 Jan 1997 15:44:22 GMT
Server: NCSA/1.4.2
Content-type: text/html
Past Visitors and Collaborators
Past Visitors and Collaborators
- Dave Barker-Plummer
- Developed Gazer.
- Also developed Z-match.
- Currenly working on using information from diagrams to prove theorems.
- Bishop Brock
- Frank M. Brown
- Worked on a prover for set theory.
- Shuan Cooper
- Don Loveland
- Works on the model elimination procedure and the use of lemmas
in first-order logic proofs.
- Irena Pevac
- Worked on the Precondition Prover.
- William Pierce
- Randolph Wang
- Worked on the Precondition Prover.
- This is an incomplete list.
Do you have feedback or want more information? Contact Benjamin Shults.