Article View: comp.ai
Article #8479Need PD theorem prover
From: Steve K. Roggenkamp
Date: Mon, 18 Dec 1989 04:18
Date: Mon, 18 Dec 1989 04:18
10 lines
803 bytes
803 bytes
I'm looking for a public domain theorem prover, preferably written in C or Xlisp. I do not have ftp access to Internet, but I can uucp or email. Thanks for any assistance. If there is enough interest, I'll summarize to the net. Steve -- Steven K. Roggenkamp, skr@uncle.UUCP, n8emr!uncle!skr@osu-cis.cis.ohio-state.edu (614) h:792-8236, w:764-4208;
Technical Details
Message-ID:
<639@uncle.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!n8emr!uncle!skrShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!n8emr!uncle!skr From: skr@uncle.UUCP (Steve K. Roggenkamp) Newsgroups: comp.ai,comp.lang.lisp,comp.lang.lisp.x,comp.theory,sci.math,sci.math.symbolic Subject: Need PD theorem prover Message-ID: <639@uncle.UUCP> Date: 18 Dec 89 04:18:04 GMT Reply-To: skr@uncle.UUCP (Steve K. Roggenkamp) Organization: U.N.C.L.E. Lines: 10