AISC
2004
Springer
14 years 6 months ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...