Logic-Based Program Synthesis and Transformation

by Pierre Flener

<br />Author: <br /> Published by <br /> ISBN: <br /> DOI: <br /><br />Table of Contents:<p></p>