Intelligent Computer Mathematics
5 contributors - Paperback
£37.99
Automated Deduction – CADE 26
Leonardo de Moura - Paperback
£69.99
