Switch to: Citations

Add references

You must login to add references.
  1. REF-ARF: A system for solving problems stated as procedures.Richard E. Fikes - 1970 - Artificial Intelligence 1 (1-2):27-120.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
    Download  
     
    Export citation  
     
    Bookmark   4 citations