cotner@brahms.Berkeley.EDU.UUCP (02/20/87)
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
jbn@glacier.UUCP (02/23/87)
The best thinking on the subject is in "A Computational Logic", by
Robert Boyer and Jay Moore (Academic Press, 1979, ISBN 0-12-122950-5).
The field has regressed somewhat since then.
John Nagle