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  
  • LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
    Download  
     
    Export citation  
     
    Bookmark   2 citations