Intelligent Computer Mathematics
Manfred Kerber
Paperback
Not Available
Symbolic Computation and Automated Reasoning
Hardback