Vidal, G. (2012). Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlin, Heidelberg: Springer.
ISBD ZitierstilLogic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal . — Berlin, Heidelberg : Springer, 2012. — Online-Ressource (X, 254 p. 61 illus, digital). — (Lecture notes in computer science ; 7225). — ISBN 9783642322112
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.