Goal driven theorem proving using conceptual graphs and Peirce logic by John E. Heaton

“…An important result is the identification of domain independent heuristics which follow directly from the methodology. …”
Get full text