Volker Weispfenning

发表

Volker Weispfenning, V. Weispfenning, 1985, European Conference on Computer Algebra.
Volker Weispfenning, V. Weispfenning, 1997, ISSAC.
Volker Weispfenning, Scott McCallum, Melanie Achatz, 2008, ISSAC '08.
Hirokazu Anai, Volker Weispfenning, V. Weispfenning, 2000, ISSAC.
Volker Weispfenning, Thomas Becker, 1993 .
Volker Weispfenning, 2003, J. Symb. Comput..
Volker Weispfenning, V. Weispfenning, 1988, AAECC.
Volker Weispfenning, 1987, AAECC.
Volker Weispfenning, 2006, J. Symb. Comput..
Thomas Sturm, Volker Weispfenning, Andreas Dolzmann, 1998, Journal of Automated Reasoning.
Volker Weispfenning, 2005, Algorithmic Algebra and Logic.
Heinz Kredel, Volker Weispfenning, Thomas Becker, 1993 .
Volker Weispfenning, Volker Weispfenning, 1977, Math. Log. Q..
Volker Weispfenning, V. Weispfenning, 1992, ISSAC '92.
Volker Weispfenning, V. Weispfenning, 1987, EUROCAL.
Volker Weispfenning, V. Weispfenning, 1999, ISSAC '99.
Volker Weispfenning, V. Weispfenning, 2001, Applicable Algebra in Engineering, Communication and Computing.
Volker Weispfenning, Scott McCallum, V. Weispfenning, 2012, J. Symb. Comput..
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2002 .
Volker Weispfenning, Abdelilah Kandri-Rody, V. Weispfenning, 1990, J. Symb. Comput..
Rüdiger Loos, Volker Weispfenning, R. Loos, 1993, Comput. J..
Thomas Sturm, Volker Weispfenning, V. Weispfenning, 1996, Automated Deduction in Geometry.
Volker Weispfenning, V. Weispfenning, 1987, SIGS.
Volker Weispfenning, V. Weispfenning, 1986, CADE.
Volker Weispfenning, V. Weispfenning, 1985, Arch. Math. Log..
Volker Weispfenning, V. Weispfenning, 1992, J. Symb. Comput..
Volker Weispfenning, V. Weispfenning, 2002, ISSAC '02.
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2003 .
Volker Weispfenning, V. Weispfenning, 1993, ISSAC '93.
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2003 .
Volker Weispfenning, V. Weispfenning, 1997, J. Symb. Comput..
Volker Weispfenning, 1990, Arch. Math. Log..
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2003 .
Heinz Kredel, Volker Weispfenning, V. Weispfenning, 1988, J. Symb. Comput..
Volker Weispfenning, V. Weispfenning, 2007, CASC.
Volker Weispfenning, 1978, Arch. Math. Log..
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2003 .
Volker Weispfenning, Andreas Dolzmann, V. Weispfenning, 2000, ISSAC.
Volker Weispfenning, 1990, J. Symb. Comput..
Volker Weispfenning, 1986, Theor. Comput. Sci..
Volker Weispfenning, V. Weispfenning, 1994, ISSAC '94.
Volker Weispfenning, V. Weispfenning, 1985, Math. Log. Q..
Volker Weispfenning, V. Weispfenning, 1994 .
Volker Weispfenning, Thomas Becker, 1993 .
Volker Weispfenning, V. Weispfenning, 1988, Journal of symbolic computation.
Volker Weispfenning, V. Weispfenning, 2004, IJCAR.
Hirokazu Anai, Volker Weispfenning, V. Weispfenning, 2001, HSCC.
Volker Weispfenning, 2000, SIGS.
Thomas Becker, Volker Weispfenning, V. Weispfenning, 1991, ISSAC '91.
Erich Kaltofen, Volker Weispfenning, Johannes Grabmeier, 2003 .
Volker Weispfenning, V. Weispfenning, 1997, Applicable Algebra in Engineering, Communication and Computing.
Volker Weispfenning, Andreas Dolzmann, V. Weispfenning, 2007, J. Symb. Comput..
Michael J. Maher, Volker Weispfenning, Alexander Bockmayr, 2001, Handbook of Automated Reasoning.
Volker Weispfenning, Gunter Ritter, 2005, Applicable Algebra in Engineering, Communication and Computing.
Thomas Sturm, Volker Weispfenning, Andreas Dolzmann, 1997, Algorithmic Algebra and Number Theory.
Volker Weispfenning, Dan Saracino, Abraham Robinson, 1975 .
Volker Weispfenning, 1989 .
Volker Weispfenning, V. Weispfenning, 1976 .
Volker Weispfenning, V. Weispfenning, 1984 .
Thomas Sturm, Volker Weispfenning, V. Weispfenning, 2002 .
Volker Weispfenning, Thomas Becker, 1993 .
Volker Weispfenning, V. Weispfenning, 2001, CASC.
Thomas Sturm, Volker Weispfenning, 1997 .