Re: logic books

The link i gave to the tutorial for Stickel's SNARK
looks bad.

Try http://www.ai.sri.com/snark/tutorial/tutorial.html

Received on Tuesday, 11 December 2001 21:08:04 UTC