Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs

Armin Fiedler |

Paper Details:


Year: 1998

Venue: WS |
SIG: SIGGEN