Logic-Based Program Synthesis and Transformation
2 contributors - Paperback
£39.99
Practical Aspects of Declarative Languages
£44.99