Author: Gregor Overney
Date: 00:54:35 09/28/00
If you want to find out more you might want to run LPTP (a logic program theorem prover). Check out http://www.inf.ethz.ch/personal/staerk/lptp/examples/alpha/main.html for more. However, it's something for UNIX boxes. But you might get a copy of Emacs for NT. Gregor
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.