The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
Larry Wos · Medical Entomology and Zoology · 1996
(Chapter Headings): A Sterling Pursuit. Scott's Challenge. Provocative Obstacles and the Means for Quashing Them. The Methodology by Example. Lukasiewicz's Challenge. Group Theory. Robbins Algebra. A Biased Guide for Choosing OTTER Options. Seeking Proofs Satisfying a Given Property. Proof Checking. Experimental Potpourri. Research Topics. Additional Useful Notes. A Demanding and Noble Endeavor. Appendices. Subject Index.