Your search returned 3 results.

Results
	1.	Differential Equations with Symbolic Computation [electronic resource] / edited by Dongming Wang, Zhiming Zheng. by Wang, Dongming Zheng, Zhiming SpringerLink (Online service) Series: Trends in Mathematics Publication details: Basel : Birkhauser Verlag, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers edited by Hoon Hong, Dongming Wang. by European Workshop on Inductive Databases and Constraint Based Mining (2004 : Hinterzarten, Germany) Hong, Hoon Wang, Dongming SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3763 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang. by AISC 2006 (Beijing, China : 2006) Calmet, Jaques Ida, Tetsuo Wang, Dongming SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4120 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Refine your search