Re: Summary of replies for PD theorem prover

Article View: comp.ai

Article #8632

#8632

From: earl
Date: Sun, 07 Jan 1990 03:53

3 lines
586 bytes


   test!

Technical Details

Message-ID: <3607@ccncsu.ColoState.EDU>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ncar!boulder!ccncsu!handel.CS.ColoState.Edu!crussell

References: <647@uncle.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ncar!boulder!ccncsu!handel.CS.ColoState.Edu!crussell
From: crussell@handel.CS.ColoState.Edu (earl)
Newsgroups: comp.ai,comp.lang.lisp,comp.lang.lisp.x,comp.theory,sci.math,sci.math.symbolic
Subject: Re: Summary of replies for PD theorem prover
Message-ID: <3607@ccncsu.ColoState.EDU>
Date: 7 Jan 90 03:53:59 GMT
References: <647@uncle.UUCP>
Sender: news@ccncsu.ColoState.EDU
Reply-To: crussell@handel.UUCP (earl)
Followup-To: comp.ai
Organization: Colorado State University, Fort Collins, CO  80523
Lines: 3

Reply to Parent Message