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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:38:23 UTC