Logic Programming and Nonmonotonic Reasoning
3 contributors - Paperback
£109.99
Logic-Based Program Synthesis and Transformation
2 contributors - Paperback
£39.99
