Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation

Fred Mesnard, Peter J. Stuckey

Logic-Based Program Synthesis and Transformation - Springer Springer 2019

ISBN: 9783030138387

Source: EBOOK