Switch to: References

Add citations

You must login to add citations.
  1. Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry.Kenneth R. Koedinger & John R. Anderson - 1990 - Cognitive Science 14 (4):511-550.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Geometric reasoning and artificial intelligence: Introduction to the special volume.Deepak Kapur & Joseph L. Mundy - 1988 - Artificial Intelligence 37 (1-3):1-11.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Geometric theorem proving by integrated logical and algebraic reasoning.Takashi Matsuyama & Tomoaki Nitta - 1995 - Artificial Intelligence 75 (1):93-113.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Understanding complex dynamics by visual and symbolic reasoning.Kenneth Man-Kam Yip - 1991 - Artificial Intelligence 51 (1-3):179-221.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Conservation principles and action schemes in the synthesis of geometric concepts.Luis A. Pineda - 2007 - Artificial Intelligence 171 (4):197-238.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A geometric constraint engine.Glenn A. Kramer - 1992 - Artificial Intelligence 58 (1-3):327-360.
    Download  
     
    Export citation  
     
    Bookmark   2 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-6f9648bdd6-4ctxt uwo