Journal of Symbolic Computation, Volume 29, 2000

Volume 29, Number 1, January 2000

Volume 29, Number 2, February 2000

Advances in First-order Theorem Proving

Volume 29, Number 3, March 2000

Volume 29, Numbers 4-5, May 2000

Symbolic Computation in Algebra, Analysis, and Geometry

Volume 29, Number 6, June 2000