Dongming Wang
Artículos populares por Dongming Wang
Ver todas las ofertas-
Mathematics Mechanization and Applications
Wang, Dongming
Precios de los artículos a partir de
Ver 5 ofertasEUR 3,50
-
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers: 1360 (Lecture Notes in Computer Science, 1360)
Wang, Dongming
Precios de los artículos a partir de
Ver 17 ofertasEUR 2,97
-
Elimination Practice: Software Tools And Applications (With Cd-rom)
Wang, Dongming
Precios de los artículos a partir de
Ver 7 ofertasEUR 17,92
-
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers: 2061 (Lecture Notes in Computer Science, 2061)
Wang, Dongming; Richter-Gebert, J??rgen
Precios de los artículos a partir de
Ver 4 ofertasEUR 53,49
Encuentra también
Nuevos -
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Computer Science, 4120)
Ida, Tetsuo; Wang, Dongming; Calmet, Jaques
Precios de los artículos a partir de
Ver 17 ofertasEUR 22,00
-
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings: 1669 (Lecture Notes in Computer Science, 1669)
Yang, Lu; Wang, Dongming; Gao, Xiao-Shan
Precios de los artículos a partir de
Ver 11 ofertasEUR 59,47
-
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Precios de los artículos a partir de
Ver 2 ofertasEUR 6,49
Encuentra también
Antiguos o usados -
Mostrando 8 de 16 títulos