Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ...
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | Fred Mesnard, Peter J. Stuckey |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Feb 23, 2019 |
| Páginas | 223 |
| Formato | paperback |
| ISBN-13 | 9783030138370 |
| ISBN-10 | 3030138372 |
| Número de Cutter | M581l |