2 Электронные книги Maurice Bruynooghe
Maurice Bruynooghe: Logic Based Program Synthesis and Transformation
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based pr …
PDF
английский
DRM
€57.76
Maurice Bruynooghe & Kung-Kiu Lau: Program Development in Computational Logic
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its …
PDF
английский
DRM
€57.76