home *** CD-ROM | disk | FTP | other *** search
/ Otherware / Otherware_1_SB_Development.iso / mac / misc / compsci / euclid.inf < prev    next >
Encoding:
Text File  |  1992-12-07  |  403 b   |  14 lines
  1. DOS Filename: EUCLID.CPT
  2. MAC Filename: euclid1.1b13.cpt.hqx
  3.  
  4. Short Description: 
  5. interesting and powerful 'reasoning' application
  6.  
  7. Long Description:
  8. 337    10/2/92     BinHex4.0,Compact1.33
  9. An extremely interesting and powerful 'reasoning' application
  10. with tremendous flexibility, a wonderful manual, and a lot of
  11. potential.  Euclid can actually reason through arguments!
  12. Very impressive.
  13.  
  14.