Cover
Contents
Foreword
Preface
1. Intoduction
2. The History of Diagrammatic Systems
3. Diagrammatic Theorems and the Problem Domain
4. The Constructive w-Rule and Schematic Proofs
5. Designing a Diagrammatic Reasoning System
6. Diagrammatic Operations
7. The Construction of Schematic Proofs
8. The Verification of Schematic Proofs
9. Diamond in Action
10. Complete Automation
Appendix A: More Examples of Diagrammatic Theorems
Appendix B: The w-Rule
Glossary
References
Index
Back Cover