An approach to heuristic problem-solving and theorem proving in the propositional calculus

Open in new window

This document cannot be displayed in the browser. Use the link above to download the document.