Switch to: Citations

Add references

You must login to add references.
  1. Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle.Hai-Ping Ko - 1988 - Artificial Intelligence 37 (1-3):95-122.
    Download  
     
    Export citation  
     
    Bookmark   2 citations