Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs
        Conference Paper
                    
                
        Overview
publication date
- July 31, 1999
 
has subject area
published in
Additional Document Info
start page
- 358
 
end page
- 363