Showing 1 - 1 results of 1 for search 'Sturm, Thomas', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

    में प्रकाशित Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

खोज साधन: