Proceedings-Artikel
Hierarchical Proof Planning Using Abstractions
Dieter Hutter
In: D. Dankel II (Hrsg.). Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. Daytona Beach, Pages 181-185, M. Fishman, 1997.