A thread from the Geometry Forum newsgroup archive

Theorem-Proving Software

_____________________________________________
Back to geometry.pre-college || Search topics || All Newsgroups
_____________________________________________

  1. Theorem-Proving software by Michelle Manes on 07/06/93.
  2. Re: Theorem-Proving software (LONG) by Michelle Manes on 07/06/93.
  3. Re: Theorem-Proving software by Gary Martin on 07/07/93.
_____________________________________
Suggestion Box || Home || Steve's Dump || Help Desk || Quick Reference ||Search
_____________________________________

12/02/96