Newsgroups: comp.parallel
From: David Lever <david.positronic@ns.sympatico.ca>
Subject: Learning and Theorem Proving
Organization: Positronic Software Inc.
Date: 20 Nov 1997 21:38:17 GMT
Message-ID: <652ak9$fsl@fs7.ece.cmu.edu>

I am searching for readers of a paper (15 pages only) I have written
establishing theorems in learning and theorem proving. With an eye
toward publication I need opinions on goodness and originality of the
work; especially, since I have been away from academia for more than 5
years. Also, I am very interested in suggestions for applications of
the neural network techniques describen in the paper. If you can spare
some time to read it, please send me a message at 
david.positronic@ns.sympatico.ca
and I will send it along for your review and comments.

--
Articles to parallel@ctc.com (Administrative: bigrigg@cs.cmu.edu)
Archive: http://www.hensa.ac.uk/parallel/internet/usenet/comp.parallel


