windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) (03/31/91)
Archive-name: math/theorem/nqthm/1991-03-29
Archive-directory: cli.com:/pub/nqthm/ [192.31.85.1]
Original-posting-by: windley@cheetah.cs.uidaho.edu (Phil Windley/20000000)
Original-subject: Re: Boyer-Moore Theorem Prover wanted
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)
In article <1991Mar28.043857.21541@menudo.uh.edu> manli@cs.uh.edu (Man L. Li) writes:
I'm looking for the Boyer-Moore Theorem Prover which was available for ftp
at cs.utexas.edu. However, the last time I accessed it was no longer there.
If anyone can email me info about this matter I'll appreciate very much.
Try cli.com.
--
Phil Windley | windley@cs.uidaho.edu
Assistant Professor | windley@cheetah.cs.uidaho.edu
Department of Computer Science |
University of Idaho | Phone: 208.885.6501
Moscow, ID 83843 | Fax: 208.885.6645