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.
  • MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark