Switch to: Citations

Add references

You must login to add references.
  1. Geometric reasoning with logic and algebra.Dennis S. Arnon - 1988 - Artificial Intelligence 37 (1-3):37-60.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
    Download  
     
    Export citation  
     
    Bookmark   9 citations