Switch to: Citations

Add references

You must login to add references.
  1. Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Planning and meta-planning.Mark Stefik - 1981 - Artificial Intelligence 16 (2):141-169.
    Download  
     
    Export citation  
     
    Bookmark   15 citations