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 Practice
  • 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.)
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)
Differential Equations with Symbolic Computation
  • PDF
  • English
  • Year: 2005
  • Author: Dongming Wang, Zhiming Zheng
Differential Equations With Symbolic Computation
  • PDF
  • English
  • Year: 2005
  • Author: Dongming Wang, Zhiming Zheng
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
Gröbner Bases in Symbolic Analysis
  • PDF
  • English
  • Year: 2007
  • Author: Markus Rosenkranz (editor); Dongming Wang (editor)
Die Bedeutung der Philosophie für die Rechtswissenschaft: — dargestellt am Beispiel der Menschenrechtskonvention zur Biomedizin
  • PDF
  • German
  • Year: 2001
  • Author: Jochen Taupitz (auth.), Professor Dr. Jochen Taupitz (eds.)
search