W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

Re: logic books

From: Richard Waldinger <waldinger@AI.SRI.COM>
Date: Tue, 11 Dec 2001 18:07:31 -0800
Message-ID: <3C16BBE3.E4570009@ai.sri.com>
To: Piotr Kaminski <piotr@ideanest.com>, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:41 GMT