Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium
Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium by Manfred (Editor), and Kohlhaas, Michael (Editor) Kerber (Hardcover - 2001)
Out of stock
Add to wishlist