Home Advanced Search

Advanced Search - Page 1

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
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.)
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.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Deepak Kapur (auth.), Dongming Wang (eds.)
Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  • PDF
  • English
  • Year: 2001
  • Author: Jacques Fleuriot PhD, MEng (auth.)
Elimination Methods
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Dongming Wang (auth.)
search