Home Advanced Search

Advanced Search - Page 1

Computer Algebra Handbook: Foundations, Applications, Systems
  • DJVU
  • English
  • Year: 2003
  • Author: Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning (eds.)
Symbolic Rewriting Techniques
  • PDF
  • English
  • Year: 1998
  • Author: Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier (eds.)
Statistik : Grundwissen und Formeln
  • PDF
  • German
  • Year: 2010
  • Author: Hagl, Stefan; Grabmeier, Johannes
Gröbner Bases: A Computational Approach to Commutative Algebra
  • DJVU
  • English
  • Year: 1993
  • Author: Thomas Becker, Volker Weispfenning (auth.)
Computers and Mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Deepak Kapur, Klaus Madlener (auth.), Erich Kaltofen, Stephen M. Watt (eds.)
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson
  • DJVU
  • English
  • Year: 1975
  • Author: Jon Barwise, John Schlipf (auth.), Dr. Daniel H. Saracino, Dr. Volker B. Weispfenning (eds.)
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson
  • PDF
  • English
  • Year: 1975
  • Author: Jon Barwise, John Schlipf (auth.), Dr. Daniel H. Saracino, Dr. Volker B. Weispfenning (eds.)
Groebner bases and commutative algebra
  • DJVU
  • English
  • Year: 1998
  • Author: Thomas Becker, Volker Weispfenning, H. Kredel
Complexity of problems in archimedean ordered groups (EUROCAL85)
  • DJVU
  • English
  • Author: Weispfenning.
Efficient decision procedures for locally finite theories II
  • DJVU
  • English
  • Year: 1988
  • Author: Weispfenning.
search