Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!eos!labrea!decwrl!pyramid!prls!philabs!sbcs!dji
From: dji@sbcs.sunysb.edu (the dirty vicar)
Newsgroups: comp.ai
Subject: Book Rec Wanted (Thm Proving)
Message-ID: <1195@sbcs.sunysb.edu>
Date: 20 Apr 88 01:29:01 GMT
Organization: State University of New York at Stony Brook
Lines: 9

I need recommendations for a good, fundamental text in resolution-based
automated theorem proving.  Something a beginner in this area can get
through.  Please respond by e-mail only, as I don't read this group.

					Thanks in advance
						the vic

Dave Iannucci \ Dept of Computer Science \ SUNY at Stony Brook, Long Island, NY
ARPA-Internet: dji@sbcs.sunysb.edu / CSNet: dji@suny-sb / ICBM: 40 55 N 73 08 W
UUCP: {allegra, philabs, pyramid, research}!sbcs!dji or ....bpa!sjuvax!iannucci