Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!apple!sun-barr!lll-winken!uunet!cs.dal.ca!iisat!brains!jeff_rabin From: jeff_rabin@brains.UUCP (Jeff Rabin) Newsgroups: comp.ai Subject: (none) Message-ID: <4844@brains.UUCP> Date: 26 Sep 89 10:59:25 GMT Reply-To: jeff_rabin%brains@iisat.UUCP Organization: Cerebral Cortex BBS Lines: 13 Dear All, Anyone know where I might be able to find a public domain program to do symbolic logic that would run on a pc. Preferably with source. If anyone knows please drop me a line, here on the Cerebral Cortex. Thanks, Jeff -- -===------===- From Jeff Rabin at Cerebral Cortex BBS System -==-==----==-==- (902)462-7245 3/12/2400 8N1 24h/7d -==-------==------ jeff_rabin%brains@iisat.UUCP -==-==----==-==- {uunet, utai, watmath}!dalcs!iisat!brains!jeff_rabin -===------===-