Switch to: References

Add citations

You must login to add citations.
  1. MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantitative results concerning the utility of explanation-based learning.Steven Minton - 1990 - Artificial Intelligence 42 (2-3):363-391.
    Download  
     
    Export citation  
     
    Bookmark   30 citations