home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / symbolic / 2315 < prev    next >
Encoding:
Internet Message Format  |  1992-09-03  |  517 b 
  1. Path: sparky!uunet!ogicse!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  2. From: ara@zurich.ai.mit.edu (Allan Adler)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: Todd-Coxeter algorithm
  5. Message-ID: <ARA.92Sep3135511@camelot.ai.mit.edu>
  6. Date: 3 Sep 92 18:55:11 GMT
  7. Article-I.D.: camelot.ARA.92Sep3135511
  8. References: <QedFL_O00WBN85g19x@andrew.cmu.edu>
  9. Sender: news@mintaka.lcs.mit.edu
  10. Organization: M.I.T. Artificial Intelligence Lab.
  11. Lines: 2
  12. In-Reply-To: Michael Albert's message of Wed,  2 Sep 1992 15:28:10 -0400
  13.  
  14.  
  15. Get GAP.
  16.