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.)
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.)
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
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.)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
  • DJVU
  • English
  • Year: 1982
  • Author: Arnold Schönhage (auth.), Jacques Calmet (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.)
Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: Jacques Calmet (eds.)
Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.)
Diagram geometry: related to classical groups and buildings
  • PDF
  • English
  • Year: 2013
  • Author: Buekenhout, Francis;Cohen, Arjeh M
search