Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!mit-eddie!genrad!decvax!ucbvax!cartan!brahms.Berkeley.EDU!cotner
From: cotner@brahms.Berkeley.EDU.UUCP
Newsgroups: comp.ai
Subject: automatic theorem proving
Message-ID: <1004@cartan.Berkeley.EDU>
Date: Thu, 19-Feb-87 23:32:09 EST
Article-I.D.: cartan.1004
Posted: Thu Feb 19 23:32:09 1987
Date-Received: Sat, 21-Feb-87 03:28:43 EST
Sender: daemon@cartan.Berkeley.EDU
Reply-To: cotner@brahms.Berkeley.EDU (Carl Cotner)
Distribution: na
Organization: Math Dept. UC Berkeley
Lines: 7
Summary: are there any good books on the subject?


	Can anyone on the net recommend any books or articles about
automatic theorem proving?  I am interested (I think) in the subject,
but know almost anything about it.  Any reference would be very
welcomed.  Thanks.

ucbvax!brahms!cotner	   Carl Cotner/UCB Math Dept/Berkeley CA 94720