Home Advanced Search

Advanced Search - Page 1

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.)
Some Tapas of Computer Algebra
  • PDF
  • English
  • Year: 1999
  • Author: Arjeh M. Cohen (auth.), Arjeh M. Cohen, Hans Cuypers, Hans Sterk (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: 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.)
Mathematical software: proceedings of the first International Congress of Mathematical Software: Beijing, China, 17-19 August 2002
  • PDF
  • English
  • Year: 2002
  • Author: Arjeh M. Cohen
Symbolic-Numeric Computation
  • PDF
  • English
  • Year: 2007
  • Author: Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
  • PDF
  • English
  • Year: 1982
  • Author: Arnold Schönhage (auth.), Jacques Calmet (eds.)
search