Preface
- Hermenegildo, M.V.
- Lopez-Garcia, P.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319631387
Any de publicació: 2017
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers
Volum: 10184 LNCS
Pàgines: V-VI
Tipus: Editorial