Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-10 of 10 results for author "Wang, Dongming."
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.).
- Text
- New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-683 Offsite Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-2193 Offsite Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1781 Offsite Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.
- Text
- Wien ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSF 95-572 Offsite Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.
- Text
- Wien ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 A9 1995 Off-site Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.).
- Text
- New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 I577 1996 Off-site Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 I577 1998 Off-site Mathematics mechanization and applications / edited by Xiao-shan Gao and Dongming Wang.
- Text
- San Diego : Academic Press, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 M38 2000g Off-site Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.)
- Text
- Berlin ; London : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 I577 2000 Off-site Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text Q334 .I553 2006g Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
