Title: Logic-Based Program Synthesis and Transformation
First published: April 28, 1999
Description: <br />Author: <br /> Published by <br /> ISBN: <br /> DOI: <br /><br />Table of Contents:<p></p>
Subjects: Logic programming, Congresses