Logic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Autor:
Germán Puebla
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 13-18 zile
298.01
lei
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on...