Switch to: Citations

Add references

You must login to add references.
  1. Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Experiments with a heuristic theorem-proving program for predicate calculus with equality.Lewis M. Norton - 1971 - Artificial Intelligence 2 (3-4):261-284.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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  
  • A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-c4c498947-x7jdh uwo