DON@atc.bendix.COM (04/28/87)
What is a good, up-to-date, intermediate or advanced automated theorem proving book? If there isn't a list which someone can send me from the archives, I'll collect responses and post. Don Mitchell Don@atc.bendix.com Bendix Aero. Tech. Ctr. Don%atc.bendix.com@relay.cs.net 9140 Old Annapolis Rd. (301)964-4156 Columbia, MD 21045