Automated Reasoning
3 contributors - Paperback
£44.99
Theoretical Aspects of Computing – ICTAC 2017
2 contributors - Paperback
