Logic Program Synthesis and Transformation Proceedings of LOPSTR
About Ryefield Books. Weight: 528.23 grams.
eBay