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 message: [ Message body ]
Next message: Smith, Ned: "RE: Logic and proof tutorial resources"
Previous message: Richard Waldinger: "logic books"
In reply to: Richard Waldinger: "logic books"
Next in thread: Pierluigi Miraglia: "Re: Logic and proof tutorial resources"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:48 GMT