Home Advanced Search

Advanced Search - Page 1

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.)
Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (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.)
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.)