Manfred Kerber, Michael Kohlhase
Symbolic Computation and Automated Reasoning
2 contributors - Hardback
£84.99
Intelligent Computer Mathematics
5 contributors - Paperback
£44.99
2 contributors - Paperback
£59.99