Home Advanced Search

Advanced Search - Page 1

Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
Elimination Methods
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Dongming Wang (auth.)
Elimination Practice
  • PDF
  • English
  • Year: 2004
  • Author: Dongming Wang
Elimination Practice: Software Tools and Applications
  • DJVU
  • English
  • Year: 2004
  • Author: Dongming Wang
Elimination Practice: Software Tools and Applications (With CD-Rom)
  • PDF
  • English
  • Year: 2004
  • Author: Dongming Wang
Elimination practice: software tools and applications
  • DJVU
  • English
  • Year: 2004
  • Author: Dongming Wang
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
Symbolic-Numeric Computation
  • PDF
  • English
  • Year: 2007
  • Author: Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
  • PDF
  • English
  • Year: 2001
  • Author: Xiao-Shan Gao; Dongming Wang (eds.)
search