Dongming Wang
Beliebte Artikel von Dongming Wang
Alle Angebote anzeigen-
-
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science, 2061, Band 2061)
Wang, Dongming; Richter-Gebert, J??rgen
Artikelpreise ab
1 Angebot anzeigenEUR 53,49
Entdecken Sie auch
Neu -
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture Notes in Computer Science, 4120, Band 4120)
Ida, Tetsuo; Wang, Dongming; Calmet, Jaques
Artikelpreise ab
7 Angebote anzeigenEUR 22,00
-
Elimination Practice: Software Tools and Applications
Wang, Dongming
Artikelpreise ab
2 Angebote anzeigenEUR 71,65
Entdecken Sie auch
Neu -
Geometric Computation (Lecture Notes Series on Computing Vol. 11, Band 11)
Wang, Dongming
Artikelpreise ab
4 Angebote anzeigenEUR 100,95
-
Mathematics Mechanization and Applications
Artikelpreise ab
3 Angebote anzeigenEUR 3,50
Entdecken Sie auch
Antiquarisch -
Automated Practical Reasoning: Algebraic Approaches
Artikelpreise ab
1 Angebot anzeigenEUR 6,49
Entdecken Sie auch
Antiquarisch -
Differential Equations with Symbolic Computation (Trends in Mathematics)
Artikelpreise ab
5 Angebote anzeigenEUR 19,00
8 von 16 Titeln werden angezeigt