Newsgroups: comp.archives Path: utzoo!utgpu!news-server.csri.toronto.edu!ox.com!msen.com!emv From: windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) Subject: [comp.theory...] Re: Boyer-Moore Theorem Prover wanted Message-ID: <1991Mar30.193642.8888@ox.com> Followup-To: comp.theory,comp.ai,comp.misc Sender: emv@msen.com (Edward Vielmetti, MSEN) Reply-To: windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) Organization: University of Idaho, Computer Science Dept. References: <1991Mar28.043857.21541@menudo.uh.edu> Date: Sat, 30 Mar 1991 19:36:42 GMT Approved: emv@msen.com (Edward Vielmetti, MSEN) X-Original-Newsgroups: comp.theory,comp.ai,comp.misc 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