Automated Reasoning
3 contributors - Paperback
£44.99
Automation of Logic
Christoph Weidenbach - Hardback
£69.99
