Logic-based Program Synthesis and Transformationde Andy KingEdiciones (1)Logic-based Program Synthesis and Transformation (2008)Springer · ISBN 9783540871347Más obras de Andy KingLLiving with B1Living with B1TThe move to office parksThe move to office parksQQuick and easy menus for entertainingQuick and easy menus for entertaining
