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