[comp.ai] Book Rec Wanted

dji@sbcs.sunysb.edu (the dirty vicar) (04/20/88)

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

dji@sbcs.sunysb.edu (the dirty vicar) (05/13/88)

Thanks to all who responded to my request for suggested books on
resolution-based theorem proving.  Sorry, but I didn't get a chance
to respond to all personally.  Anyway, here are the results, for
those who are interested.  Almost all the votes were for one or
both of the following two books (and they got about equal numbers
of votes):

_Automated Reasoning: Introduction and Applications_
	by Wos, Overbeek, Lusk, and Boyle
	Prentice-Hall 1984

_Symbolic Logic and Mechanical Theorem Proving_
	by Chang and Lee
	Academic Press 1973

also got a few votes for:

_Computer Modelling of Mathematical Reasoning_
	by Allan Bundy
	Academic Press 1983

				Thanks again
					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