- 1993 (1) (entfernen)
- Extending automatic theorem proving by planning (1993)
- A general concept for combining planning with automatic theorem provingis introduced. From this a system architecture based on the notion of planningtrees, methods and sensors is developed. It is illustrated by examples taken fromthe domain of sorting algorithms.