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