Switch to: References

Add citations

You must login to add citations.
  1. Meta-rules: Reasoning about control.Randall Davis - 1980 - Artificial Intelligence 15 (3):179-222.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • 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